Eureka

MaRDI QIDQ21465swMATHFDO

Official website http://www.cs.tau.ac.il/research/alexander.nadel/Eureka.pdf

Cited in

(4)

• On the power of clause-learning SAT solvers as resolution engines
• Zchaff2004
• Jerusat
• Assignment stack shrinking

This page was built for software: Eureka