| 2024 | Optimization over Trained Neural Networks: Taking a Relaxing Walk. | Jiatai Tong, Junyang Cai, Thiago Serra |
| 2024 | A Constraint Programming Approach for Aircraft Disassembly Scheduling. | Charles Thomas, Pierre Schaus |
| 2024 | CaVE: A Cone-Aligned Approach for Fast Predict-then-optimize with Binary Linear Programs. | Bo Tang, Elias B. Khalil |
| 2024 | SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability. | Ajdin Sumic, Alessandro Cimatti, Andrea Micheli, Thierry Vidal |
| 2024 | Improving Metaheuristic Efficiency for Stochastic Optimization by Sequential Predictive Sampling. | Noah Schutte, Krzysztof Postek, Neil Yorke-Smith |
| 2024 | Strategies for Compressing the Pareto Frontier: Application to Strategic Planning of Hydropower in the Amazon Basin. | Zhongdi Qu, Marc Grimson, Yue Mao, Sebastian Heilpern, Imanol Miqueleiz, Felipe Siqueira Pacheco, Alexander Flecker, Carla P. Gomes |
| 2024 | Learning Deterministic Surrogates for Robust Convex QCQPs. | Egon Persak, Miguel F. Anjos |
| 2024 | Minimizing the Cost of Leveraging Influencers in Social Networks: IP and CP Approaches. | Felipe de Carvalho Pereira, Pedro J. de Rezende, Tallys H. Yunes |
| 2024 | LEO: Learning Efficient Orderings for Multiobjective Binary Decision Diagrams. | Rahul Patel, Elias B. Khalil |
| 2024 | Lookahead, Merge and Reduce for Compiling Relaxed Decision Diagrams for Optimization. | Mohsen Nafar, Michael Rmer |
| 2024 | Probabilistic Lookahead Strong Branching via a Stochastic Abstract Branching Model. | Gioni Mexi, Somayeh Shamsi, Mathieu Besanon, Pierre Le Bodic |
| 2024 | Proof Logging for the Circuit Constraint. | Matthew J. McIlree, Ciaran McCreesh, Jakob Nordstrm |
| 2024 | Fair Minimum Representation Clustering. | Connor Lawless, Oktay Gnlk |
| 2024 | Core Boosting in SAT-Based Multi-objective Optimization. | Christoph Jabs, Jeremias Berg, Matti Jrvisalo |
| 2024 | Learning to Solve Job Shop Scheduling Under Uncertainty. | Guillaume Infantes, Stphanie Roussel, Pierre Pereira, Antoine Jacquet, Emmanuel Benazera |
| 2024 | Learning from Scenarios for Repairable Stochastic Scheduling. | Kim van den Houten, David M. J. Tax, Esteban Freydell, Mathijs de Weerdt |
| 2024 | Certifying MIP-Based Presolve Reductions for 0-1 Integer Linear Programs. | Alexander Hoen, Andy Oertel, Ambros M. Gleixner, Jakob Nordstrm |
| 2024 | Don't Explain Noise: Robust Counterfactuals for Randomized Ensembles. | Alexandre Forel, Axel Parmentier, Thibaut Vidal |
| 2024 | A Benders Decomposition Approach for a Capacitated Multi-vehicle Covering Tour Problem with Intermediate Facilities. | Vera Fischer, Antoine Legrain, David Schindl |
| 2024 | ULD Build-Up Scheduling with Logic-Based Benders Decomposition. | Ricardo Euler, Ralf Borndrfer, Christian Puchert, Tuomo Takkula |
| 2024 | ViolationLS: Constraint-Based Local Search in CP-SAT. | Toby O. Davies, Frdric Didier, Laurent Perron |
| 2024 | Modeling and Exploiting Dominance Rules for Discrete Optimization with Decision Diagrams. | Vianney Copp, Xavier Gillard, Pierre Schaus |
| 2024 | Assessing Group Fairness with Social Welfare Optimization. | Violet Xinying Chen, John N. Hooker, Derek Leben |
| 2024 | A Hybrid Approach Integrating Generalized Arc Consistency and Differential Evolution for Global Optimization. | Mariane R. Sponchiado Cassenote, Guilherme Alex Derenievicz, Fabiano Silva |
| 2024 | UNSAT Solver Synthesis via Monte Carlo Forest Search. | Chris Cameron, Jason S. Hartford, Taylor Lundy, Tuan Truong, Alan Milligan, Rex Chen, Kevin Leyton-Brown |