2 papers
cs.AI2025
Deep Learning--Accelerated Multi-Start Large Neighborhood Search for Real-time Freight Bundling
Haohui Zhang, Wouter van Heeswijk, Xinyu Hu +2
Online Freight Exchange Systems (OFEX) play a crucial role in modern freight logistics by facilitating real-time matching between shippers and carrier. However, efficient combinato…
cs.PL2025
Modelling Program Spaces in Program Synthesis with Constraints
Tilman Hinnerichs, Bart Swinkels, Jaap de Jong +4
A core challenge in program synthesis is taming the large space of possible programs. Since program synthesis is essentially a combinatorial search, the community has sought to lev…