Details for the publication LiZPZV19.

Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi (): SAT-based explicit LTL reasoning and its application to satisfiability checking. In Formal Methods Syst. Des. 54(2):164-190, 2019. DOI BIB