Valentin Montmirail

Valentin Montmirail

Schneider Electric - / France
Others
AD Scientific Index ID: 5085713
person_outline Valentin Montmirail's MOST POPULAR ARTICLES
1-) A SAT-based approach for solving the modal logic S5 satisfiability problemT Caridroit, JM Lagniez, D Le Berre, T de Lima, V MontmirailAAAI\\\\\\\\\\\\\\\'17 - Thirty-first AAAI Conference on Artificial Intelligence, 3864-3870, 2017362017
2-) A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability ProblemJM Lagniez, D Le Berre, T de Lima, V MontmirailIJCAI\\\\\\\\\\\\\\\'17 - Proceedings of the 26th International Joint Conference on …, 2017212017
3-) An incremental sat-based approach to reason efficiently on qualitative constraint networksG Glorian, JM Lagniez, V Montmirail, M SioutisInternational Conference on Principles and Practice of Constraint …, 2018112018
4-) On Checking Kripke Models for Modal Logic KJM Lagniez, D Le Berre, T de Lima, V MontmirailPAAR\'16 - Fifth Workshop on Practical Aspects of Automated Reasoning, 69, 2016112016
5-) Solving Equations on Discrete Dynamical SystemsA Dennunzio, E Formenti, L Margara, V Montmirail, S RivaThe 16th International Computational Intelligence methods for Bioinformatics …, 201982019