RB-SAT: Un nouveau modèle SAT basé sur les codages SAT du modèle RB

Haibo Huang (1) , Chu Min Li (1) , Nouredine Ould Mohamedou (1) , Ke Xu (1)

1 MIS - Modélisation, Information et Systèmes - UR UPJV 4290

Non disponible

Domaines: Intelligence artificielle [cs.AI]

Haibo Huang, Chu Min Li, Nouredine Ould Mohamedou, Ke Xu. RB-SAT: Un nouveau modèle SAT basé sur les codages SAT du modèle RB. Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.225-237. ⟨hal-00387816⟩