Configuration automatique d'un solveur générique intégrant des techniques de décomposition
arborescente pour la résolution de problèmes de satisfaction de contraires / Loïc
Blet ; sous la dir. Christine Solnon [Thèse doctorat : Informatique : Lyon, INSA :
2015]