Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5.

Pei Huang, Rundong Li, Minghao Liu, Feifei Ma, Jian Zhang

Browse the full SAT paper archive.