Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure. Une méthode expérimentalement efficace de partition d’une CNF en un MSS et un CoMSS.
10ièmes Journées Francophones de Programmation par Contraintes (JFPC'14), 2014, Angers, France. pp.183-192.
⟨hal-03300587⟩