A Scalable Learning Approach for Efficient Computation of Independent Set and Cover Variants
Ryan O Connor, Deepak Ajwani, Darren Strash, Saurabh Ray, Noah Coleman
A hybrid learning-based matheuristic to solve the vehicle routing problem with stochastic demands
Gaël Reynal, Quentin Cappart, Guy Desaulniers, Louis-Martin Rousseau
BaB-PoNN: A Bit-Exact Branch-and-Bound Framework for Verified Robustness of Posit Neural Networks
Suleiman Junaidu Sadiq, Martin Mariusz Lester
Backbone-based Predict and Search for Pseudo-Boolean Optimization
Bryan Alvarado-Ulloa, Dorit Hochbaum, Bistra Dilkina, Ricardo Ñanculef, Roberto Asín-Achá
CORL: Reinforcement Learning of MILP Policies Solved via Branch‐and‐Bound
Akhil S Anand, Elias Aarekol, Martin Dalseg, Magnus Stålhane, Sebastien Gros
Clustering for Relaxed and Restricted Decision Diagram Bounds: When It Works and Why
Alice Burlats, Roger Kameugne, Cristel Pelsser, Pierre Schaus
Computing Minimax Regret by Bounding the Weight Space From Within and Without
Guillaume Escamocher, Paolo Viappiani, Nic Wilson
Contextual Preference Distribution Learning for Risk-Averse Decision-Making
Benjamin Hudson, Laurent Charlin, Emma Frejinger
Cost-Minimal Parameter Correction Subsets for Unsatisfiable Constraint Problems
Antoine Laviolette, Claude-Guy Quimper, Raphaël Boudreault
Enhancing Scalability in Distributed Flexible Flowshop Scheduling: A Hybrid RL-CP approach
Ioannis Avgerinos, Christos Katrinakis, Andreas Ktenidis, Angelos Ioannis Lagos, Ioannis Mourtos, Georgios Zois
Exact Certification of Data-Poisoning Attacks Using Mixed-Integer Programming
Philip Sosnin, Jodie Knapp, Fraser Kennedy, Josh Collyer, Calvin Tsay
Exact Synthetic Populations for Scalable Societal and Market Modeling
Thierry Petit, Arnault Pachot
Explainability Results for the Rotating Workforce Scheduling Problem
Esther Mugdan, Lucas Kletzander, Nysret Musliu
From Historical Templates to Hints: Selecting Effective Initializations for the Rack-Loading Problem
Thaïs Souyri, Nadia Lahrichi, Louis-Martin Rousseau
GPU-Accelerated State Expansion for Anytime Exact Decision-Diagram Search
Fabio Tardivo, Laurent Michel, Willem-Jan van Hoeve
Generalised Arc Consistency via the Synchronised Product of Finite Automata wrt a Constraint
Nicolas Beldiceanu
Heuristic Multiobjective Discrete Optimization using Restricted Decision Diagrams
Rahul Mihir Patel, Elias Boutros Khalil, David Bergman
Imitation-Guided World Models for Multi-Agent Train Rescheduling
Max Bourgeat, Antoine Legrain, Quentin Cappart
Improving the planning of stochastic tasks with availability windows using prediction
Alexis Guigal, Emmanuel Hyon, Claire Hanen
Integrating Bayesian Optimization and Combinatorial Optimization for LEO Satellite Constellation Design
Linhao Luo, Hue Chi Lam, Vicky Mak-Hau
Introducing automatically derived subproblem relaxations in a logic-based Benders decomposition solver
Sachin Rajendran, Stephen Maher, Elina Rönnberg
Large Neighborhood Search meets Iterative Neural Constraint Heuristics
Yudong Xu, Wenhao Li, Scott Sanner, Elias Boutros Khalil
Learning to Choose Branching Rules for Nonconvex MINLPs
Timo Berthold, Fritz Geis
Multi-objective Maximum Satisfiability by Single-objective Implicit Hitting Set Optimization
Christoph Jabs, Jeremias Berg, Matti Järvisalo
No-Opponent-Cycle Propagators for Solving Parity Games
Gonzalo Hernandez, Julian Garcia, Julian Gutierrez, Guido Tack
Open-Source Implementation of Slack Induction by String Removals for Routing and Orienteering Problems
Martin Pajerský, Václav Sobotka, Hana Rudová
Optimization over Trained (and Sparse) Neural Networks: A Surrogate within a Surrogate
Hung Pham, Aiden Ren, Ibrahim Tahir, Jiatai Tong, Thiago Serra
Optimization over Trained Neural Networks: Going Large with Gradient-Based Algorithms
Jiatai Tong, Yilin Zhu, Thiago Serra, Samuel Burer
Probing Features for Automatic Algorithm Selection for Pseudo-Boolean Optimization
Amanda Salinas-Pinto, Catalina Pezo-Vergara, Dorit Hochbaum, Bistra Dilkina, Ricardo Ñanculef, Roberto Asín-Achá
Resolution Meets Cutting Planes: Introducing Hypercube Linear Resolution
Maarten Flippo, Peter J. Stuckey, Emir Demirović
Resource-Constrained Project Scheduling Problem with Transfer Times using Secondary Resources with Instant Self-transfers
Vilém Heinz, Zdenek Hanzalek, Christian Artigues, Emmanuel Hebrard
Scheduling Data Transfers in Space Missions with Constraint Programming
Julien Rouzot, Christian Artigues, Clément Carbonnel, Emmanuel Hebrard, Philippe Garnier, Pierre Lopez, Bertrand Simon
Singleton Node Consistency for Quadratic Assignment Problems in Cost Function Networks
Guidio Sewa, David Allouche, Simon de Givry, George Katsirelos, Thomas Schiex
The Theory of Lagrangian Filtering Zones: A Case Study on the Knapsack Constraint
Frédéric Berthiaume, Claude-Guy Quimper
The graph isomorphism problem from a mixed-integer convex optimization perspective
Wenjie Xiao, Mathieu Besançon, Patrick Gelß, Deborah Hendrych, Stefan Klus, Sebastian Pokutta
Towards Solving Polynomial-Objective Integer Programming with Hypergraph Neural Networks
Minshuo Li, Yaoxin Wu, Pavel Troubil, Yingqian Zhang, Wim P.M. Nuijten
Transit Network Design with Two-Level Demand Uncertainties: A Machine Learning and Contextual Stochastic Optimization Framework
Hongzhao Guan, Beste Basciftci, Pascal Van Hentenryck