A SAT-Based Approach For PSPACE Modal Logics.

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

Browse the full KR paper archive.