Biblio

Export 4 results:
Author [ Title(Asc)] Type Year
Filters: Author is George Katsirelos  [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 
U
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.
R
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.
L
G. Katsirelos and Simon, L., “Learning Polynomials over GF(2) in a SAT Solver”, in Proc. of International Conference on Theory and Applications of Satisfiability Testing (SAT), Trento, Italie, 2012.
E
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.