Lionel Paris, Richard Ostrowski, Pierre Siegel. Des ensembles Horn strong backdoor aux ensembles ordonnés strong backdoor.
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France.
⟨inria-00151052⟩