swMATH397MaRDI QIDQ13157FDOQ13157
Author name not available (Why is that?)
Official website: http://www.cs.technion.ac.il/~gershman/HaifaSat.htm
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
- Evaluating CDCL variable scoring schemes
- Sparrow2Riss
- Learning rate based branching heuristic for SAT solvers
- Decision procedures. An algorithmic point of view
This page was built for software: HaifaSat
