Biblio

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