- Referenced in 536 articles
- An extensible SAT-solver. MiniSat is a minimalistic...
- Referenced in 34 articles
- In this paper we present a new randomized...
- Referenced in 36 articles
- UBCSAT: An implementation and experimentation environment for SLS...
- Referenced in 85 articles
- CVC3 is an automatic theorem prover for Satisfiability...
- Referenced in 86 articles
- SATzilla: portfolio-based algorithm selection for SAT. It...
- Referenced in 570 articles
- Chaff:engineering an efficient SAT solver. Boolean Satisfiability...
- Referenced in 55 articles
- CVC Lite is no longer being maintained. Please...
- Referenced in 47 articles
- CVC: A cooperating validity checker. Decision procedures for...
- Referenced in 22 articles
- RSat is a complete Boolean satisfiability solver with...