HaifaSat

MaRDI QIDQ13157swMATHFDO

Official website http://www.cs.technion.ac.il/~gershman/HaifaSat.htm

Described by source

• Hardware and Software, Verification and Testing

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