SBSAT
From MaRDI portal
Cited in
(14)- CirCUs
- zChaff
- FORCE
- Velev SAT Benchmarks
- sharpSAT
- Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition
- Extended Resolution Proofs for Conjoining BDDs
- A finite state intersection approach to propositional satisfiability
- Variable and clause ordering in an FSA approach to propositional satisfiability
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- Extended Resolution Proofs for Symbolic SAT Solving with Quantification
- TBUDDY
- Symbolic techniques in satisfiability solving
This page was built for software: SBSAT
