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
- DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions
- SatEx: A web-based framework for SAT experimentation
- Equivalent literal propagation in the DLL procedure
- π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
- SAT-Inspired Eliminations for Superposition
This page was built for software: ZRes
