Daniel Gnad 0001, Malte Helmert, Peter Jonsson, Alexander Shleyfman. Planning over Integers: Compilations and Undecidability. In Sven Koenig, Roni Stern, Mauro Vallati, editors, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic. pages 148-152, AAAI Press, 2023. [doi]
@inproceedings{0001HJS23, title = {Planning over Integers: Compilations and Undecidability}, author = {Daniel Gnad 0001 and Malte Helmert and Peter Jonsson and Alexander Shleyfman}, year = {2023}, doi = {10.1609/icaps.v33i1.27189}, url = {https://doi.org/10.1609/icaps.v33i1.27189}, researchr = {https://researchr.org/publication/0001HJS23}, cites = {0}, citedby = {0}, pages = {148-152}, booktitle = {Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic}, editor = {Sven Koenig and Roni Stern and Mauro Vallati}, publisher = {AAAI Press}, }