![[IEEE 2008 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Dayton, OH, USA (2008.11.3-2008.11.5)] 2008 20th IEEE International Conference on Tools with Artificial Intelligence - On Approaches to Explaining Infeasibility of Sets of Boolean Clauses]()
[IEEE 2008 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Dayton, OH, USA (2008.11.3-2008.11.5)] 2008 20th IEEE International Conference on Tools with Artificial Intelligence - On Approaches to Explaining Infeasibility of Sets of Boolean ClausesGrégoire, Éric; Mazure, Bertrand; Piette, Cédric · 2008