Christian Desrosiers, Philippe Galinier, Alain Hertz, Sandrine Paroz. Using heuristics to find minimal unsatisfiable subformulas in satisfiability problems. J. Comb. Optim., 18(2):124-150, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.