Biblio

Export 64 results:
[ Author(Desc)] Title Type Year
Filters: First Letter Of Last Name is A  [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
V. Armant, Dague, P., and Simon, L., Distributed Consistency-Based Diagnosis, in Proc. of International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Doha, Qatar, 2008.
V. Armant, Simon, L., and Dague, P., Distributed tree decomposition with privacy, in Proc. of International Conference on Principles and Practice of Constraint Programming (CP), Québec, Canada, 2012, pp. 102-117.
V. Armant, {Diagnostic distribué de systèmes respectant la confidentialité, Université Paris Sud, 2012.
M. Atencia, Chein, M., Croitoru, M., David, J., Leclère, M., Pernelle, N., Sais, F., Scharffe, F., and Symeonidou, D., Defining Key Semantics for the RDF Datasets: Experiments and Evaluations, in International Conference on Conceptual Structures, (ICCS), Iasi, Romania, 2014, vol. LNCS, pp. 65-78.
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, 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 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., 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, 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, 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 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, 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.
N. Aussenac-Gilles, Charlet, J., and Reynaud, C., Les enjeux de l'Ingénierie des connaissances, in Information, Interaction, Intelligence - Le point sur le i(3), F. Sedes, Ogier, J. M., and Marquis, P., Eds. Cepadues, 2012.
E. Akbari Azirani, Goasdoué, F., Manolescu, I., and Roatis, A., Efficient OLAP Operations for RDF Analytics. OAK team, Inria Saclay ; INRIA, 2015.

Pages