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