Pages that link to "Item:Q3623009"
From MaRDI portal
The following pages link to Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning (Q3623009):
Displayed 11 items.
- Towards NP-P via proof complexity and search (Q408544) (← links)
- On the power of clause-learning SAT solvers as resolution engines (Q543613) (← links)
- Extended clause learning (Q622116) (← links)
- Finding a tree structure in a resolution proof is NP-complete (Q1019749) (← links)
- Pool resolution is NP-hard to recognize (Q1042441) (← links)
- Davis and Putnam meet Henkin: solving DQBF with resolution (Q2118283) (← links)
- Satisfiability via Smooth Pictures (Q2817998) (← links)
- Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers (Q2818010) (← links)
- Space Complexity in Polynomial Calculus (Q2944568) (← links)
- An Exponential Lower Bound for Width-Restricted Clause Learning (Q3637163) (← links)
- On Linear Resolution (Q5015599) (← links)