Biblio

Export 4 results:
Author Title Type [ Year(Asc)]
Filters: Author is George Katsirelos  [Clear All Filters]
2012
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.
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.
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.
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.