SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework.

Roberto Sebastiani, Adolfo Villafiorita

Browse the full AIMSA paper archive.