%0 Journal Article %1 journals/logcom/LiP0VH18 %A Li, Jianwen %A Pu, Geguang %A Zhang, Lijun %A Vardi, Moshe Y. %A He, Jifeng %D 2018 %J J. Log. Comput. %K %N 6 %P 1011-1030 %T Accelerating LTL satisfiability checking by SAT solvers. %U http://dblp.uni-trier.de/db/journals/logcom/logcom28.html#LiP0VH18 %V 28

@article{journals/logcom/LiP0VH18, added-at = {2023-12-13T06:04:23.000+0100}, author = {Li, Jianwen and Pu, Geguang and Zhang, Lijun and Vardi, Moshe Y. and He, Jifeng}, biburl = {https://www.bibsonomy.org/bibtex/270cde2614387e047b0e807368abb3fba/admin}, ee = {https://doi.org/10.1093/logcom/exy013}, interhash = {aa0aac45dc1b5a61ea20af079b4ff2f0}, intrahash = {70cde2614387e047b0e807368abb3fba}, journal = {J. Log. Comput.}, keywords = {}, number = 6, pages = {1011-1030}, timestamp = {2023-12-13T06:04:23.000+0100}, title = {Accelerating LTL satisfiability checking by SAT solvers.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom28.html#LiP0VH18}, volume = 28, year = 2018 }