Biblio

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: Author is Modeliar, Mouny Samy  [Clear All Filters]
2009
G. Audemard, Modeliar, M. Samy, and Simon, L., Pourquoi les solveurs SAT modernes se piquent-ils contre des cactus?, in Actes des Journées Francophones de Programmation par Contraintes (JFPC), Orléans, France, 2009, pp. 245-255.