The following pages link to ZRes (Q40094):
Displaying 9 items.
- 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)
- SatEx: A web-based framework for SAT experimentation (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)
- Theory and Applications of Satisfiability Testing (Q5713748) (← links)
- SAT-Inspired Eliminations for Superposition (Q5875949) (← links)