| 2025 | Reducing Income Variability in Natural Resource Portfolios via Integer Programming. | Laura Greenstreet, Qinru Shi, Marc Grimson, Franz W. Simon, Suresh Andrew Sethi, Carla P. Gomes, Andrea Lodi, David B. Shmoys |
| 2025 | Combining Constraint Programming and Metaheuristics for Aircraft Maintenance Routing with a Distribution Objective. | Ida Gjergji, Lucas Kletzander, Hendrik Bierlee, Nysret Musliu, Peter J. Stuckey |
| 2025 | Minimising Source-Plate Swaps for Robotised Compound Dispensing in Microplates. | Ramiz Gindullin, Mara Andrena Francisco Rodrguez, Brinton Seashore-Ludlow, Ola Spjuth |
| 2025 | Bounded-Error Policy Optimization for Mixed Discrete-Continuous MDPs via Constraint Generation in Nonlinear Programming. | Michael Gimelfarb, Ayal Taitler, Scott Sanner |
| 2025 | Learning Primal Heuristics for 0-1 Knapsack Interdiction Problems. | Luca Ferrarini, Stefano Gualandi, Letizia Moro, Axel Parmentier |
| 2025 | Parallelising Lazy Clause Generation with Trail Sharing. | Toby O. Davies, Frdric Didier, Laurent Perron, Peter J. Stuckey |
| 2025 | Modeling and Solving the Generalized Test Laboratory Scheduling Problem. | Philipp Danzinger, Tobias Geibinger, Florian Mischek, Nysret Musliu |
| 2025 | Breaking Symmetries from a Set-Covering Perspective. | Michael Codish, Mikols Janota |
| 2025 | Acquiring and Selecting Implied Constraints with an Application to the BinSeq and Partition Global Constraints. | Jovial Cheukam-Ngouonou, Ramiz Gindullin, Claude-Guy Quimper, Nicolas Beldiceanu, Rmi Douence |
| 2025 | Multi-task Representation Learning for Mixed Integer Linear Programming. | Junyang Cai, Taoan Huang, Bistra Dilkina |
| 2025 | Revisiting Pseudo-Boolean Encodings from an Integer Perspective. | Hendrik Bierlee, Jip J. Dekker, Peter J. Stuckey |
| 2025 | Self-supervised Penalty-Based Learning for Robust Constrained Optimization. | Wyame Benslimane, Paul Grigas |
| 2025 | Algorithm Configuration in Sequential Decision-Making. | Luca Begnardi, Bart von Meijenfeldt, Yingqian Zhang, Willem van Jaarsveld, Hendrik Baier |
| 2025 | Hybridizing Machine Learning and Optimization for Planning Satellite Observations. | Romain Barrault, Cdric Pralet, Gauthier Picard, Eric Sawyer |
| 2025 | Leveraging Quantum Computing for Accelerated Classical Algorithms in Power Systems Optimization. | Rosemary Barrass, Harsha Nagarajan, Carleton Coffrin |
| 2025 | Determining the Most Promising Selective Backbone Size for Partial Knowledge Compilation. | Andrea Balogh, Guillaume Escamocher, Barry O'Sullivan |
| 2025 | An Integrated Optimisation Method for Aluminium Hot Rolling. | Ioannis Avgerinos, Apostolos Besis, Ioannis Mourtos, Athanasios Psarros, Stavros Vatikiotis, Georgios Zois |
| 2025 | Optimized Scheduling of Medical Appointment Sequences Using Constraint Programming. | George Assaf, Sven Lffler, Petra Hofstedt |
| 2025 | Breaking the Symmetries of Indistinguishable Objects. | zgr Akgn, Mun See Chang, Ian P. Gent, Christopher Jefferson |
| 2024 | Learning Heuristics for Combinatorial Optimization Problems on K-Partite Hypergraphs. | Mehdi Zouitine, Ahmad Berjaoui, Agns Lagnoux, Clment Pellegrini, Emmanuel Rachelson |
| 2024 | Bound Tightening Using Rolling-Horizon Decomposition for Neural Network Verification. | Haoruo Zhao, Hassan L. Hijazi, Haydn Thomas Jones, Juston Moore, Mathieu Tanneau, Pascal Van Hentenryck |
| 2024 | An Improved Neuro-Symbolic Architecture to Fine-Tune Generative AI Systems. | Chao Yin, Quentin Cappart, Gilles Pesant |
| 2024 | Robustness Verification in Neural Networks. | Adrian Wurm |
| 2024 | Explainable Algorithm Selection for the Capacitated Lot Sizing Problem. | Andrea Visentin, Aodh Gallchir, Jens Krcher, Herbert Meyr |
| 2024 | An Efficient Structured Perceptron for NP-Hard Combinatorial Optimization Problems. | Bastin Vjar, Gal Aglin, Ali Irfan Mahmutogullari, Siegfried Nijssen, Pierre Schaus, Tias Guns |