Publication

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