Cited in
(24)- Theory and Applications of Satisfiability Testing
- Nonrealizable minimal vertex triangulations of surfaces: showing nonrealizability using oriented matroids and satisfiability solvers
- Topological configurations \((n_4)\) exist for all \(n\geq 17\)
- kcnfs
- On the power of clause-learning SAT solvers as resolution engines
- MAX-2-SAT
- zChaff
- BerkMin
- Zap
- Eureka
- Kermeta
- UML2Alloy
- NSPLib
- Assignment stack shrinking
- Generation of oriented matroids using satisfiability solvers
- Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning
- The incremental satisfiability problem for a two conjunctive normal form
- A Scalable Algorithm for Minimal Unsatisfiable Core Extraction
- Algorithm runtime prediction: methods \& evaluation
- Theory and Applications of Satisfiability Testing
- Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
- Efficient branch-and-bound algorithms for weighted MAX-2-SAT
- Present and Future of Practical SAT Solving
- SATzilla: portfolio-based algorithm selection for SAT
This page was built for software: Zchaff2004