The following pages link to (Q2723442):
Displayed 11 items.
- ZRes (Q40094) (← links)
- Equivalent literal propagation in the DLL procedure (Q1408382) (← links)
- A satisfiability procedure for quantified Boolean formulae (Q1408385) (← links)
- Resolution cannot polynomially simulate compressed-BFS (Q1776193) (← links)
- A taxonomy of exact methods for partial Max-SAT (Q2434567) (← links)
- (Q2741519) (← links)
- DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions (Q3007675) (← links)
- πDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space (Q3007676) (← links)
- SAT-Inspired Eliminations for Superposition (Q5875949) (← links)
- Generating Extended Resolution Proofs with a BDD-Based SAT Solver (Q6082228) (← links)
- SAT-Inspired Higher-Order Eliminations (Q6135757) (← links)