Publication

[LiPZVH18] Accelerating LTL satisfiability checking by SAT solvers Li, J.; Pu, G.; Zhang, L.; Vardi, M. Y. and He, J. In Journal of Logic and Computation: exy013, 2018.Downloads: bib