@inproceedings{ijcai2022p359, title = {LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work}, author = {De Giacomo, Giuseppe and Favorito, Marco and Li, Jianwen and Vardi, Moshe Y. and Xiao, Shengping and Zhu, Shufang}, booktitle = {Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, {IJCAI-22}}, publisher = {International Joint Conferences on Artificial Intelligence Organization}, editor = {Lud De Raedt}, pages = {2591--2598}, year = {2022}, month = {7}, note = {Main Track}, doi = {10.24963/ijcai.2022/359}, url = {https://doi.org/10.24963/ijcai.2022/359}, }