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)

• Siege
• BerkMin
• Deep cooperation of CDCL and local search for SAT
• Learning rate based branching heuristic for SAT solvers
• \textsc{HaifaSat}: a SAT solver based on an abstraction/refinement model
• Evaluating CDCL variable scoring schemes
• QAGen
• C32SAT
• Z34Bio
• Decision procedures. An algorithmic point of view
• Sparrow2Riss

This page was built for software: HaifaSat