ZRes
From MaRDI portal
Software:40094
swMATH28380MaRDI QIDQ40094FDOQ40094
Author name not available (Why is that?)
Cited In (9)
- 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
- 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
