The following pages link to (Q5715680):
Displayed 28 items.
- Towards NP-P via proof complexity and search (Q408544) (← links)
- A note on SAT algorithms and proof complexity (Q436581) (← links)
- On the power of clause-learning SAT solvers as resolution engines (Q543613) (← links)
- Extended clause learning (Q622116) (← links)
- Producing and verifying extremely large propositional refutations (Q694550) (← links)
- Exact thresholds for DPLL on random XOR-SAT and NP-complete extensions of XOR-SAT (Q764375) (← links)
- A comparative runtime analysis of heuristic algorithms for satisfiability problems (Q835804) (← links)
- Formalization and implementation of modern SAT solvers (Q839035) (← links)
- Substitutions into propositional tautologies (Q845921) (← links)
- A generative power-law search tree model (Q1010292) (← links)
- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver (Q1037644) (← links)
- Pool resolution is NP-hard to recognize (Q1042441) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Resolution cannot polynomially simulate compressed-BFS (Q1776193) (← links)
- Limitations of restricted branching in clause learning (Q2272157) (← links)
- Constructive generation of very hard 3-colorability instances (Q2467358) (← links)
- The state of SAT (Q2643296) (← links)
- Faster Extraction of High-Level Minimal Unsatisfiable Cores (Q3007682) (← links)
- On Freezing and Reactivating Learnt Clauses (Q3007683) (← links)
- Generalized Conflict-Clause Strengthening for Satisfiability Solvers (Q3007694) (← links)
- Empirical Study of the Anatomy of Modern Sat Solvers (Q3007695) (← links)
- A Generalized Framework for Conflict Analysis (Q3502689) (← links)
- Limitations of Restricted Branching in Clause Learning (Q3523067) (← links)
- Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases (Q3587716) (← links)
- Some applications of propositional logic to cellular automata (Q3650319) (← links)
- Present and Future of Practical SAT Solving (Q5504707) (← links)
- Parameterized Complexity of DPLL Search Procedures (Q5892559) (← links)
- Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution (Q5902141) (← links)