Biblio

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