Cited in
(18)- Theory and Applications of Satisfiability Testing
- A taxonomy of exact methods for partial Max-SAT
- SatEx: A web-based framework for SAT experimentation
- Equivalent literal propagation in the DLL procedure
- \(\pi \)DD: a new decision diagram for efficient problem solving in permutation space
- SBSAT
- SatEx
- QingTing1
- NiVER
- Jerusat
- HeerHugo
- Leibniz
- QBFEVAL
- TBUDDY
- Resolution cannot polynomially simulate compressed-BFS
- A satisfiability procedure for quantified Boolean formulae
- DPLL+ROBDD derivation applied to inversion of some cryptographic functions
- SAT-Inspired Eliminations for Superposition
This page was built for software: ZRes
