Lionel Paris, Djamal Habet, Belaïd Benhamou. Voisinage consistant pour le problème de satisfaisabilité.
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France.
⟨inria-00151061⟩