Valentin Montmirail
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2016–2020
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ECAI | Consolidating Modal Knowledge Bases. | Zied Bouraoui, Jean-Marie Lagniez, Pierre Marquis, Valentin Montmirail |
| 2019 | CP | An Incremental SAT-Based Approach to the Graph Colouring Problem. | Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Nicolas Szczepanski |
| 2018 | CADE | An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem. | Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail |
| 2018 | CP | An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks. | Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis |
| 2018 | KR | A SAT-Based Approach For PSPACE Modal Logics. | Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail |
| 2017 | AAAI | A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem. | Thomas Caridroit, Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail |
| 2017 | IJCAI | A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem. | Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail |
| 2016 | CADE | On Checking Kripke Models for Modal Logic K. | Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail |