Lin, Xiaoyou, Qingliang Chen, Liangda Fang, Quanlong Guan, Weiqi Luo, and Kaile Su. 2022. “Generalized Linear Integer Numeric Planning”. Proceedings of the International Conference on Automated Planning and Scheduling 32 (1):241-51. https://doi.org/10.1609/icaps.v32i1.19807.