Sign in

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

Pei HuangRundong LiMinghao LiuFeifei MaJian Zhang
Published in: SAT (2021)
Keyphrases
  • modal logic
  • computationally expensive
  • temporal logic
  • significant improvement
  • relational databases
  • desirable properties