Une restriction de la résolution étendue pour les démonstrateurs SAT modernes

Submitted by lahdakadmin on Wed, 11/27/2013 - 14:52
TitleUne restriction de la résolution étendue pour les démonstrateurs SAT modernes
Publication TypeConference Paper
Year of Publication2010
AuthorsSimon, L, Audemard, G, Katsirelos, G
Conference NameActes des Journées Francophones de Programmation par Contraintes (JFPC)
Date Publishedjuin
Conference LocationOrléans France