Pages that link to "Item:Q334923"
From MaRDI portal
The following pages link to An improved deterministic \#SAT algorithm for small De Morgan formulas (Q334923):
Displaying 5 items.
- DNF sparsification and a faster deterministic counting algorithm (Q354649) (← links)
- On the shrinkage exponent for read-once formulae (Q1367534) (← links)
- Gate elimination: circuit size lower bounds and \#SAT upper bounds (Q1704573) (← links)
- Bounded depth circuits with weighted symmetric gates: satisfiability, lower bounds and compression (Q2316930) (← links)
- Shrinkage of de Morgan formulae under restriction (Q4696225) (← links)