Éric Grégoire Bertrand Mazure Cédric Piette On Approaches to Explaining Infeasibility of Sets of Boolean Clauses. 74-83 2008 ICTAI (1) http://dx.doi.org/10.1109/ICTAI.2008.39 conf/ictai/2008-1 db/conf/ictai/ictai2008-1.html#GregoireMP08