Valentin Montmirail
Valentin Montmirail
Researcher @ Schneider Electric
Verified email at avisto.com - Homepage
Title
Cited by
Cited by
Year
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
152017
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
132017
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
82018
An assumption-based approach for solving the minimal S5-satisfiability problem
JM Lagniez, D Le Berre, T de Lima, V Montmirail
International Joint Conference on Automated Reasoning, 1-18, 2018
52018
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
52018
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
52016
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
12019
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
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
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
Consolidating Modal Knowledge Bases
Z Bouraoui, JM Lagniez, P Marquis, V Montmirail
24th European Conference on Artificial Intelligence - ECAI 2020, 2020
2020
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
2019
Contraintes de cardinalité cachées dans les preuves d’insatisfaisabilité
V Montmirail, M Pelleau, R Jean-Charles, S Laurent
Actes des 15es Journées Francophones de Programmation par Contraintes JFPC …, 2019
2019
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
Practical Resolution of Satisfiability Testing for Modal Logics
V Montmirail
Artois University, 2018
2018
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
The system can't perform the operation now. Try again later.
Articles 1–20