Biblio

Export 10 results:
Author Title Type [ Year(Desc)]
Filters: Author is Gilles Audemard  [Clear All Filters]
2008
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.
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.
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.
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.
2012
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.
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.
2013
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.
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. 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.