Thomas Caridroit, Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail. A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem.
Thirty-First AAAI Conference on Artificial Intelligence, Feb 2017, San Francisco, United States.
⟨hal-02271408⟩