An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem.

Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail

Browse the full CADE paper archive.