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.