Ressources utiles :

- SAT Solver X-MiniSAT : http://www.cril.univ-artois.fr/~sais/X-SAT

- Data Mining et Contraintes : http://www.cril.univ-artois.fr/decMining