@inproceedings{LZPRV19,
    author = {Jianwen Li and Yueling Zhang and Geguang Pu and Kristin Yvonne Rozier and Moshe Vardi},
    title = {{SAT-based Explicit LTLf Satisfiability Checking}},
    booktitle = {{Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19)}},
    publisher = {AAAI Press},
    address = {Honolulu, Hawaii},
    volume = {33},
    number = {1},
    pages = {2946-2953},
    doi = {https://doi.org/10.1609/aaai.v33i01.33012946},
    month = {February},
    year = {2019},
}