Pages that link to "Item:Q2922605"
From MaRDI portal
The following pages link to An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas (Q2922605):
Displayed 12 items.
- Correlation bounds and \#SAT algorithms for small linear-size circuits (Q344759) (← links)
- Negation-limited formulas (Q729897) (← links)
- Fourier concentration from shrinkage (Q2012185) (← links)
- Mining circuit lower bound proofs for meta-algorithms (Q2351392) (← links)
- Strong ETH and resolution via games and the multiplicity of strategies (Q2408195) (← links)
- Satisfiability Algorithms and Lower Bounds for Boolean Formulas over Finite Bases (Q2946392) (← links)
- Correlation Bounds and #SAT Algorithms for Small Linear-Size Circuits (Q3196385) (← links)
- Local Reductions (Q3448833) (← links)
- Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP (Q3453207) (← links)
- (Q5002674) (← links)
- Satisfiability Algorithm for Syntactic Read-$k$-times Branching Programs (Q5136279) (← links)
- (Q5874553) (← links)