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

Browse the full AAAI paper archive.