Using meta-heuristics to find minimal unsatisfiable subformulas in satisfiability problems - Desrosiers, Christian; Galinier, Philippe; Hertz, Alain; Paroz, Sandrine (Journal of Combinatorial Optimization, 2009)