Pourquoi les solveurs SAT modernes se piquent-ils contre des cactus?

Submitted by lahdakadmin on Tue, 11/26/2013 - 11:04
TitlePourquoi les solveurs SAT modernes se piquent-ils contre des cactus?
Publication TypeConference Paper
Year of Publication2009
AuthorsAudemard, G, Modeliar, MSamy, Simon, L
Conference NameActes des Journées Francophones de Programmation par Contraintes (JFPC)
Date Publishedjuin
Conference LocationOrléans, France