Eureka

swMATH9483MaRDI QIDQ21465FDOQ21465

Author name not available (Why is that?)

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
• Assignment stack shrinking
• Zchaff2004
• Jerusat

This page was built for software: Eureka