Cited in
(11)- Deep cooperation of CDCL and local search for SAT
- \textsc{HaifaSat}: a SAT solver based on an abstraction/refinement model
- Siege
- BerkMin
- C32SAT
- QAGen
- Z34Bio
- Sparrow2Riss
- Evaluating CDCL variable scoring schemes
- Learning rate based branching heuristic for SAT solvers
- Decision procedures. An algorithmic point of view
This page was built for software: HaifaSat
