Li, Jianwen; Zhu, Shufang; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y. SAT-based explicit LTL reasoning and its application to satisfiability checking. (English) Zbl 1425.68259 Form. Methods Syst. Des. 54, No. 2, 164-190 (2019). MSC: 68Q60 03B44 68T20 PDFBibTeX XMLCite \textit{J. Li} et al., Form. Methods Syst. Des. 54, No. 2, 164--190 (2019; Zbl 1425.68259) Full Text: DOI
Li, Jianwen; Zhang, Lijun; Zhu, Shufang; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng An explicit transition system construction approach to LTL satisfiability checking. (English) Zbl 1382.68142 Formal Asp. Comput. 30, No. 2, 193-217 (2018). MSC: 68Q60 PDFBibTeX XMLCite \textit{J. Li} et al., Formal Asp. Comput. 30, No. 2, 193--217 (2018; Zbl 1382.68142) Full Text: DOI