Parameterized Modal Satisfiability

Antonis Achilleos, Michael Lampis, Valia Mitsou. Parameterized Modal Satisfiability. Algorithmica, 64(1):38-55, 2012. [doi]

Abstract

Abstract is missing.