SBSAT
From MaRDI portal
swMATH828MaRDI QIDQ13575FDOQ13575
Author name not available (Why is that?)
Official website: http://www.cs.uc.edu/~weaversa/SBSAT.html
Cited In (13)
- Extended Resolution Proofs for Conjoining BDDs
- TBUDDY
- Symbolic techniques in satisfiability solving
- Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition
- Extended Resolution Proofs for Symbolic SAT Solving with Quantification
- Theory and Applications of Satisfiability Testing
- A finite state intersection approach to propositional satisfiability
- zChaff
- FORCE
- Velev SAT Benchmarks
- sharpSAT
- Theory and Applications of Satisfiability Testing
- Variable and clause ordering in an FSA approach to propositional satisfiability
This page was built for software: SBSAT
