Publication:2741514
From MaRDI portal
zbMath0990.90538MaRDI QIDQ2741514
Publication date: 24 September 2001
90C27: Combinatorial optimization
Related Items
Blocked Clause Elimination for QBF, Simulating circuit-level simplifications on CNF, About some UP-based polynomial fragments of SAT, A parallelization scheme based on work stealing for a class of SAT solvers, Equivalent literal propagation in the DLL procedure, On propositional definability, Unnamed Item, Failed Literal Detection for QBF
Uses Software
Cites Work
- A parallelization scheme based on work stealing for a class of SAT solvers
- A linear-time algorithm for testing the truth of certain quantified Boolean formulas
- A two-phase algorithm for solving a class of hard satisfiability problems
- A constraint-based approach to narrow search trees for satisfiability
- A Computing Procedure for Quantification Theory
- A machine program for theorem-proving
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item