@InProceedings{GMP-08-5,
title = {On Approaches to Explaining Infeasibility of Sets of Boolean Clauses},
booktitle = {20th International Conference on Tools with Artificial Intelligence (ICTAI'08)},
publisher = {IEEE Computer Society},
pages = {74-83},
author = {Grégoire, Éric and Mazure, Bertrand and Piette, Cédric},
OPT_auteurs_membres = {Grégoire, Éric and Mazure, Bertrand and Piette, Cédric},
year = {2008},
month = {nov},
address = {Dayton (USA)},
}