


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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.