Biblio

Export 5 results:
[ Author(Asc)] Title Type Year
Filters: Author is Laurent Simon  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
S
L. Simon, Li, C. Min, Manya, F., and Zhu, Z., “Minimum Satisfiability and its Applications”, in Proc. of International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain, 2011.
L. Simon and Katsirelos, G., “Eigenvector centrality in industrial SAT instances”, in Proc. of International Conference on Principles and Practice of Constraint Programming (CP), Québec City, Canada, 2012, pp. 348-356.
L. Simon, Audemard, G., and Katsirelos, G., “Une restriction de la résolution étendue pour les démonstrateurs SAT modernes”, in Actes des Journées Francophones de Programmation par Contraintes (JFPC), Orléans France, 2010.
L. Simon, “Logique propositionnelle : un langage simple, des problèmes complexes”, Université Paris Sud, 2010.
L. Simon, Audemard, G., and Katsirelos, G., “A Restriction of Extended Resolution for Clause Learning SAT Solvers”, in Proc. of American Association of Artificial Intelligence Conference (AAAI), Atlanta United States, 2010.