%0 Conference Paper %1 conf/aaai/LiRPZV19 %A Li, Jianwen %A Rozier, Kristin Y. %A Pu, Geguang %A Zhang, Yueling %A Vardi, Moshe Y. %B AAAI %D 2019 %I AAAI Press %K dblp %P 2946-2953 %T SAT-Based Explicit LTLf Satisfiability Checking. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2019.html#LiRPZV19 %@ 978-1-57735-809-1

@inproceedings{conf/aaai/LiRPZV19, added-at = {2021-02-02T00:00:00.000+0100}, author = {Li, Jianwen and Rozier, Kristin Y. and Pu, Geguang and Zhang, Yueling and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/250442f7074bae727a323c87e6d0f0b0f/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2019}, ee = {https://doi.org/10.1609/aaai.v33i01.33012946}, interhash = {2739a5e92b9c04c55c41df5131a231c0}, intrahash = {50442f7074bae727a323c87e6d0f0b0f}, isbn = {978-1-57735-809-1}, keywords = {dblp}, pages = {2946-2953}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:02:18.000+0200}, title = {SAT-Based Explicit LTLf Satisfiability Checking.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2019.html#LiRPZV19}, year = 2019 }