David Rajaratnam, Torsten Schaub, Philipp Wanko, Kai Chen, Sirui Liu, Tran Cao Son. Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints. Algorithms, 16(4):216, April 2023. [doi]
Abstract is missing.