InKreSAT: Modal Reasoning via Reduction to SAT

Saarland University Computer Science

Source code

inkresat-1.0.tar.bz2

Paper

Mark Kaminski and Tobias Tebbi.
InKreSAT: Modal Reasoning via Incremental Reduction to SAT.
CADE-24, LNCS 7898, pp. 436-442, Springer, June 2013.

Benchmark problems


Mark Kaminski, Tue Oct 8 12:16:15 2013