swMATH28380MaRDI QIDQ40094FDOQ40094
Author name not available (Why is that?)
Official website: https://rd.springer.com/chapter/10.1007/10721959_35
Cited In (18)
- TBUDDY
- 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
- 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
