Biblio

Export 3 results:
Author Title [ Type(Desc)] Year
Filters: Author is Jean-Marie Lagniez  [Clear All Filters]
Conference Paper
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.