DMCA

A branch-and-bound algorithm for extracting smallest minimal unsatisfiable formulas (2005)

Cached

Download Links

by Maher Mneimneh , Inês Lynce , Zaher Andraus , João Marques-silva , Karem Sakallah
Venue:In International Conference on Theory and Applications of Satisfiability Testing (SAT’05
Citations:14 - 4 self