Satisfiabilité Minimale et Applications

Submitted by lahdakadmin on Tue, 11/26/2013 - 11:04
TitleSatisfiabilité Minimale et Applications
Publication TypeConference Paper
Year of Publication2011
AuthorsLi, CMin, Zhu, Z, Manya, F, Simon, L
Conference NameActes des Journées Francophones de Programmation par Contraintes (JFPC)
Conference LocationLyon, France
URLhttp://hal.inria.fr/hal-00845484