Eureka-2006 SAT Solver. We describe the SAT solver Eureka. Eureka is a state-of-the-art SAT solver, used in various Formal Verification flows at Intel. Eureka is based upon backtrack search DPLL algorithm, enhanced by failure-driven assertion loop; non-standard conflict analyses; restart and clause deletion strategies; CBH decision heuristic and decision stack shrinking
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Pipatsrisawat, Knot; Darwiche, Adnan: On the power of clause-learning SAT solvers as resolution engines (2011)
- Nadel, Alexander; Ryvchin, Vadim: Assignment stack shrinking (2010)