Details for the publication LiP0VH18.

Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi (), Jifeng He: Accelerating LTL satisfiability checking by SAT solvers. In J. Log. Comput. 28(6):1011-1030, 2018. DOI BIB