Biblio

Export 28 results:
Author Title [ Type(Desc)] Year
Filters: Author is Laurent Simon  [Clear All Filters]
Conference Paper
H. Ibrahim, Dague, P., Grastien, A., Ye, L., and Simon, L., Diagnosability Planning for Controllable Discrete Event Systems, in {27th International Workshop on Principles of Diagnosis DX'16}, Denver, United States, 2016.
H. Ibrahim, Dague, P., Grastien, A., Ye, L., and Simon, L., Diagnosability Planning for Controllable Discrete Event Systems, in {31st National Conference on Artificial Intelligence AAAI-17}, San Francisco, United States, 2017.
V. Armant, Dague, P., and Simon, L., Diagnostic Distribué à base de modèles sans calcul préalable des conflits, in Actes des Journées Francophones de Programmation par Contraintes (JFPC), 2008, pp. 41–48.
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, Dague, P., and Simon, L., Distributed Consistency-Based Diagnosis without Conflicts, in Proc. of International Workshop on Principles of Diagnosis (DX), 2008.
V. Armant, Dague, P., and Simon, L., Distributed Tree Decomposition by Local Elections with One Token, in Actes des Journées de l'Intelligence Artificielle Fondamentale, (JIAF), Toulouse, France, 2012.
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.
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.
L. Simon and Katsirelos, G., Eigenvector centrality in industrial SAT instances, in Proc. of International Conference on Principles and Practice of Constraint Programming (CP), Québec City, Canada, 2012, pp. 348-356.
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 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., 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.
G. Katsirelos and Simon, L., Learning Polynomials over GF(2) in a SAT Solver, in Proc. of International Conference on Theory and Applications of Satisfiability Testing (SAT), Trento, Italie, 2012.
M. Martin, Dague, P., Pérès, S., and Simon, L., Minimality of Metabolic Flux Modes under Boolean Regulation Constraints, in {12th International Workshop on Constraint-Based Methods for Bioinformatics WCB'16}, Toulouse, France, 2016.
L. Simon, Li, C. Min, Manya, F., and Zhu, Z., Minimum Satisfiability and its Applications, in Proc. of International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain, 2011.
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., 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. Katsirelos, Sabharwal, A., Samulowitz, H., and Simon, L., Resolution and Parallelizability: Barriers to the Efficient Parallelisation of SAT Solvers, in Conference on Artificial Intelligence (AAAI), Washington, Etats-Unis, 2013.
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.
H. Ibrahim, Dague, P., and Simon, L., SAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems, in {8th International Conference on Advances in System Testing and Validation Lifecycle VALID'16}, Rome, Italy, 2016.
C. Min Li, Zhu, Z., Manya, F., and Simon, L., Satisfiabilité Minimale et Applications, in Actes des Journées Francophones de Programmation par Contraintes (JFPC), Lyon, France, 2011.
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.

Pages