@InProceedings{GLM-14-4,
title = {Une méthode expérimentalement efficace de partition d’une CNF en un MSS et un CoMSS},
booktitle = {10ièmes Journées Francophones de Programmation par Contraintes (JFPC'14)},
pages = {183-192},
author = {Grégoire, Éric and Lagniez, Jean-Marie and Mazure, Bertrand},
OPT_auteurs_membres = {Grégoire, Éric and Lagniez, Jean-Marie and Mazure, Bertrand},
year = {2014},
}