Samir Ouis Narendra Jussien Patrice Boizumault Explications k-relevantes pour la programmation par contraintes. 111-124 2003 conf/jfplc/2003 JFPLC db/conf/jfplc/jfplc2003.html#OuisJB03