Publication

[LiZPZV19] SAT-based explicit LTL reasoning and its application to satisfiability checking Li, J.; Zhu, S.; Pu, G.; Zhang, L. and Vardi, M. Y. In Formal Methods in System Design, 54: 164-190, 2019.
Downloads: bib