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

Anything in here will be replaced on browsers that support the canvas element