CPAIOR (1)

Keyphrases

Publications

2024

Léo Boisvert, Hélène Verhaeghe, Quentin Cappart
Towards a Generic Representation of Combinatorial Problems for Learning-Based Approaches. CPAIOR (1) (2024)
Alexandre Forel, Axel Parmentier, Thibaut Vidal
Don't Explain Noise: Robust Counterfactuals for Randomized Ensembles. CPAIOR (1) (2024)
Djawad Bekkoucha, Abdelkader Ouali, Patrice Boizumault, Bruno Crémilleux
Efficiently Mining Closed Interval Patterns with Constraint Programming. CPAIOR (1) (2024)
Alexander Hoen, Andy Oertel, Ambros M. Gleixner, Jakob Nordström
Certifying MIP-Based Presolve Reductions for 0-1 Integer Linear Programs. CPAIOR (1) (2024)
Víctor Bucarey, Sophia Calderón, Gonzalo Muñoz, Frédéric Semet
Decision-Focused Predictions via Pessimistic Bilevel Optimization: A Computational Study. CPAIOR (1) (2024)
Toby O. Davies, Frédéric Didier, Laurent Perron
ViolationLS: Constraint-Based Local Search in CP-SAT. CPAIOR (1) (2024)
Elahe Amiri, Antoine Legrain, Issmail El Hallaoui
Online Optimization of a Dial-a-Ride Problem with the Integral Primal Simplex. CPAIOR (1) (2024)
Robin A. Brown, Davide Venturelli, Marco Pavone, David E. Bernal Neira
Accelerating Continuous Variable Coherent Ising Machines via Momentum. CPAIOR (1) (2024)
Mariane R. Sponchiado Cassenote, Guilherme Alex Derenievicz, Fabiano Silva
A Hybrid Approach Integrating Generalized Arc Consistency and Differential Evolution for Global Optimization. CPAIOR (1) (2024)
Samuel Buchet, David Allouche, Simon de Givry, Thomas Schiex
Bi-objective Discrete Graphical Model Optimization. CPAIOR (1) (2024)
Ricardo Euler, Ralf Borndörfer, Christian Puchert, Tuomo Takkula
ULD Build-Up Scheduling with Logic-Based Benders Decomposition. CPAIOR (1) (2024)
Violet Xinying Chen, John N. Hooker, Derek Leben
Assessing Group Fairness with Social Welfare Optimization. CPAIOR (1) (2024)
Hendrik Bierlee, Jip J. Dekker, Vitaly Lagoon, Peter J. Stuckey, Guido Tack
Single Constant Multiplication for SAT. CPAIOR (1) (2024)
Vianney Coppé, Xavier Gillard, Pierre Schaus
Modeling and Exploiting Dominance Rules for Discrete Optimization with Decision Diagrams. CPAIOR (1) (2024)
Mathis Azéma, Guy Desaulniers, Jorge E. Mendoza, Gilles Pesant
A Constraint Programming Model for the Electric Bus Assignment Problem with Parking Constraints. CPAIOR (1) (2024)
Auguste Burlats, Pierre Schaus, Cristel Pelsser
An Exploration of Exact Methods for Effective Network Failure Detection and Diagnosis. CPAIOR (1) (2024)
Hugo Barral, Mohamed Gaha, Amira Dems, Alain Côté, Franklin Nguewouo, Quentin Cappart
Acquiring Constraints for a Non-linear Transmission Maintenance Scheduling Problem. CPAIOR (1) (2024)
Guillaume Infantes, Stéphanie Roussel, Pierre Pereira, Antoine Jacquet, Emmanuel Benazera
Learning to Solve Job Shop Scheduling Under Uncertainty. CPAIOR (1) (2024)
Frédéric Berthiaume, Claude-Guy Quimper
Local Alterations of the Lagrange Multipliers for Enhancing the Filtering of the AtMostNValue Constraint. CPAIOR (1) (2024)
Chris Cameron, Jason S. Hartford, Taylor Lundy, Tuan Truong, Alan Milligan, Rex Chen, Kevin Leyton-Brown
UNSAT Solver Synthesis via Monte Carlo Forest Search. CPAIOR (1) (2024)
Vera Fischer, Antoine Legrain, David Schindl
A Benders Decomposition Approach for a Capacitated Multi-vehicle Covering Tour Problem with Intermediate Facilities. CPAIOR (1) (2024)

volume 14742, 2024

Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I CPAIOR (1) 14742 (2024)