1

Breaking Symmetries in Quantified Graph Search: A Comparative Study
PDF Cite Project Project DOI
Bridging Language Models and Symbolic Solvers via the Model Context Protocol
PDF Cite Project Project DOI
Crossing and Independent Families Among Polygons
PDF Cite Project Project DOI
Extracting Problem Structure with LLMs for Optimized SAT Local Search
PDF Cite Project Project
Genetic Programming Hyper-Heuristic for the Dynamic Electric Dial-a-Ride Problem
PDF Cite DOI
Geometry Matters in Planar Storyplans
Cite Project DOI
Improvements in Large Neighborhood Search for the Electric Autonomous Dial-A-Ride Problem
PDF Cite DOI
Large and Parallel Human Sorting Networks
Cite DOI
Learning to Select Promising Initial Solutions for Large Neighborhood Search-Based Multi-Agent Path Finding
PDF Cite DOI
Learning Value Functions for Same-Day Delivery Problems in the Tardiness Regime
PDF Cite DOI