DMCA

A scalable algorithm for minimal unsatisfiable core extraction (2006)

by Nachum Dershowitz , Ziyad Hanna , Alexander Nadel
Venue:IN PROC. SAT’06
Citations:32 - 4 self