Using Meta-Heuristics to Find Minimal Unsatisfiable Subformulas in Satisfiability Problems - Desrosiers, Christian; Galinier, Philippe; Hertz, Alain; Paroz, Sandrine (Groupe d’études et de recherche en analyse des décisions, 2007)