Follow
Valentin Montmirail
Valentin Montmirail
Researcher @ Schneider Electric
Verified email at schneider-electric.com
Title
Cited by
Cited by
Year
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
352017
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
212017
An incremental sat-based approach to reason efficiently on qualitative constraint networks
G Glorian, JM Lagniez, V Montmirail, M Sioutis
International Conference on Principles and Practice of Constraint …, 2018
122018
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
102016
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
82019
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
82018
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
82018
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
52019
Consolidating Modal Knowledge Bases
Z Bouraoui, JM Lagniez, P Marquis, V Montmirail
24th European Conference on Artificial Intelligence - ECAI 2020, 2020
12020
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
12019
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
12019
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
12019
Practical Resolution of Satisfiability Testing for Modal Logics
V Montmirail
Artois University, 2018
12018
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
12018
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
12017
À 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
12016
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
The system can't perform the operation now. Try again later.
Articles 1–20