1 Design Technology Group
Alexander Nadel, Moran Gordon, Amit Palti, Ziyad Hanna · 2006
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.