Biblio

Export 10 results:
Author [ Title(Asc)] Type Year
Filters: Author is Gilles Audemard  [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.
G. Audemard and Simon, L., “Refining restarts strategies for SAT and UNSAT formulae”, in Proc. of International Conference on Principles and Practice of Constraint Programming (CP), Québec City, Canada, 2012, pp. 118-126.
P
G. Audemard and Simon, L., “Predicting Learnt Clauses Quality in Modern SAT Solver”, in Proc. of International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, États-Unis d'Amérique, 2009.
G. Audemard, Modeliar, M. Samy, and Simon, L., “Pourquoi les solveurs SAT modernes se piquent-ils contre des cactus?”, in Actes des Journées Francophones de Programmation par Contraintes (JFPC), Orléans, France, 2009, pp. 245-255.
J
G. Audemard, Lagniez, J. - M., and Simon, L., “Just-in-Time Compilation of Knowledge Bases”, in International Joint Conference on Artificial Intelligence (IJCAI), Pékin, Chine, 2013.
I
G. Audemard, Lagniez, J. - M., and Simon, L., “Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction”, in Proc. of International Conference on Theory and Applications of Satisfiability Testing (SAT), Helsinki, Finlande, 2013.
G
G. Audemard and Simon, L., “Glucose 2.1: Aggressive - but Reactive - Clause Database Management, Dynamic Restarts”, in Proc. of International Workshop of Pragmatics of SAT (Affiliated to SAT), Trento, Italie, 2012.
E
G. Audemard and Simon, L., “Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms”, in Proc. of International Conference on Principles and Practice of Constraint Programming (CP), 2008.
D
G. Audemard, Lagniez, J. - M., and Simon, L., “Du Glucose en goutte à goutte pour les coeurs inconsistants”, in Actes des Journées Francophones de Programmation par Contraintes (JFPC), Aix en Provence, France, 2013.