Lin, Xiaoyou, Qingliang Chen, Liangda Fang, Quanlong Guan, Weiqi Luo, and Kaile Su. “Generalized Linear Integer Numeric Planning”. Proceedings of the International Conference on Automated Planning and Scheduling 32, no. 1 (June 13, 2022): 241-251. Accessed April 19, 2024. https://ojs.aaai.org/index.php/ICAPS/article/view/19807.