weighted_monotone_circuit_satisfiability (183B)
1 # Weighted monotone circuit satisfiability (WMCS) 2 3 studied in [rodriguesalves2021succinct], about [positive_circuit] 4 5 Up: [satisfiability_weighted], [positive_circuit] 6 7 Aliases: WMCS
![]() | wiki_researchpersonal research wiki |
git clone https://a3nm.net/git/wiki_research/ | |
Log | Files | Refs |