Biblio

Export 8 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is A and 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 
A
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.
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.
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.
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.
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., 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.