| A SAT-based approach for solving the modal logic S5 satisfiability problem T Caridroit, JM Lagniez, D Le Berre, T de Lima, V Montmirail AAAI'17 - Thirty-first AAAI Conference on Artificial Intelligence, 3864-3870, 2017 | 28 | 2017 |
| A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem JM Lagniez, D Le Berre, T de Lima, V Montmirail IJCAI'17 - Proceedings of the 26th International Joint Conference on …, 2017 | 20 | 2017 |
| An incremental sat-based approach to reason efficiently on qualitative constraint networks G Glorian, JM Lagniez, V Montmirail, M Sioutis Principles and Practice of Constraint Programming: 24th International …, 2018 | 10 | 2018 |
| On Checking Kripke Models for Modal Logic K JM Lagniez, D Le Berre, T de Lima, V Montmirail PAAR'16 - Fifth Workshop on Practical Aspects of Automated Reasoning, 69, 2016 | 9 | 2016 |
| A SAT-Based Approach For PSPACE Modal Logics JM Lagniez, D Le Berre, T de Lima, V Montmirail Principles of Knowledge Representation and Reasoning: Proceedings of the …, 2018 | 8 | 2018 |
| An Incremental SAT-Based Approach for Graph Colouring Problem G Glorian, JM Lagniez, V Montmirail, N Szczepanski The 25th International Conference on Principles and Practice of Constraint …, 2019 | 7 | 2019 |
| An assumption-based approach for solving the minimal S5-satisfiability problem JM Lagniez, D Le Berre, T de Lima, V Montmirail Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018 | 7 | 2018 |
| Solving Equations on Discrete Dynamical Systems A Dennunzio, E Formenti, L Margara, V Montmirail, S Riva The 16th International Computational Intelligence methods for Bioinformatics …, 2019 | 3 | 2019 |
| Consolidating Modal Knowledge Bases Z Bouraoui, JM Lagniez, P Marquis, V Montmirail 24th European Conference on Artificial Intelligence - ECAI 2020, 2020 | 1 | 2020 |
| pFactory: A Generic Library For Designing Parallel Solvers G Audemard, G Glorian, JM Lagniez, V Montmirail, N Szczepanski The 16th International Conference on Applied Computing, 2019 | 1 | 2019 |
| Decrypting the hill cipher via a restricted search over the text-space F Dewez, V Montmirail Proceedings of the 2nd International Conference on Historical Cryptology …, 2019 | 1 | 2019 |
| Une approche SAT incrémentale pour raisonner efficacement sur les réseaux de contraintes qualitatives G Glorian, JM Lagniez, V Montmirail, M Sioutis Actes des 15es Journées Francophones de Programmation par Contraintes JFPC …, 2019 | 1 | 2019 |
| Practical Resolution of Satisfiability Testing for Modal Logics V Montmirail Artois University, 2018 | 1 | 2018 |
| Une approche SAT incrémentale pour le problème de satisfiabilité minimale en logique modale S5 JM Lagniez, D Le Berre, T de Lima, V Montmirail Actes des 14es journées Francophones de Programmation par Contraintes (JFPC …, 2018 | 1 | 2018 |
| Un raccourci récursif pour CEGAR : Application au problème de satisfiabilité en logique modale K JM Lagniez, D Le Berre, T de Lima, V Montmirail IAF'17 - Actes des 11es Journées d’Intelligence Artificielle Fondamentale 11, 2017 | 1 | 2017 |
| À propos de la vérification de modèles en logique modale K JM Lagniez, D Le Berre, T de Lima, V Montmirail IAF'16 - Actes des 10es Journées d’Intelligence Artificielle Fondamentale 10, 2016 | 1 | 2016 |
| Une approche SAT sensible à la mémoire pour les logiques modales PSPACE JM Lagniez, D Le Berre, T de Lima, V Montmirail JIAF, 127, 2019 | | 2019 |
| Le Jeu du Lights Out. Une approche visuelle des mathématiques au travers d'un atelier. V Montmirail, F Dewez, T Defourneau MathémaTICE 54, 2017 | | 2017 |
| Une approche basée sur SAT pour le problème de satisfiabilité en logique modale S5 T Caridroit, JM Lagniez, D Le Berre, T de Lima, V Montmirail | | 2017 |
| Étude et résolution du problème SAT. Utilisation de réduction polynomiales sur différents problèmes NP-difficiles V Montmirail, C Lenté | | 2015 |
Jean-Marie LagniezProfessor of Computer Science, CRIL - Artois UniversityVerified email at cril.fr
