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

Pei Huang Rundong Li Minghao Liu Feifei Ma Jian Zhang

Published in: SAT (2021)

Keyphrases

modal logic
computationally expensive
temporal logic
significant improvement
relational databases
desirable properties