HaifaSat

swMATH397MaRDI QIDQ13157FDOQ13157

Author name not available (Why is that?)

Described by source

• Hardware and Software, Verification and Testing

Cited In (5)

• Deep cooperation of CDCL and local search for SAT
• \textsc{HaifaSat}: a SAT solver based on an abstraction/refinement model
• 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