CPAIOR

Keyphrases

Publications

2023

Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Claude-Guy Quimper
Boolean-Arithmetic Equations: Acquisition and Uses. CPAIOR (2023)
Paulius Dilkas
Generating Random Instances of Weighted Model Counting - An Empirical Analysis with Varying Primal Treewidth. CPAIOR (2023)
Taoan Huang, Aaron M. Ferber, Yuandong Tian, Bistra Dilkina, Benoit Steiner
Local Branching Relaxation Heuristics for Integer Linear Programs. CPAIOR (2023)
Rebecca Gentzel, Laurent Michel, Willem-Jan van Hoeve
Optimization Bounds from Decision Diagrams in Haddock. CPAIOR (2023)
Ítalo Santana, Andrea Lodi, Thibaut Vidal
Neural Networks for Local Search and Crossover in Vehicle Routing: A Possible Overkill? CPAIOR (2023)
Mark Turner, Timo Berthold, Mathieu Besançon, Thorsten Koch
Cutting Plane Selection with Analytic Centers and Multiregression. CPAIOR (2023)
Samuel Squillaci, Cédric Pralet, Stéphanie Roussel
Scheduling Complex Observation Requests for a Constellation of Satellites: Large Neighborhood Search Approaches. CPAIOR (2023)
Gauthier Pezzoli, Gilles Pesant
A Weighted Counting Algorithm for the Circuit Constraint. CPAIOR (2023)
Avraham Itzhakov, Michael Codish
Breaking Symmetries with High Dimensional Graph Invariants and Their Combination. CPAIOR (2023)
Jihwan Jeong, Scott Sanner, Akshat Kumar
A Mixed-Integer Linear Programming Reduction of Disjoint Bilinear Programs via Symbolic Variable Elimination. CPAIOR (2023)
Eldan Cohen
Interpretable Clustering via Soft Clustering Trees. CPAIOR (2023)
Nikolaos Efthymiou, Neil Yorke-Smith
Predicting the Optimal Period for Cyclic Hoist Scheduling Problems. CPAIOR (2023)
Anton Korikov, J. Christopher Beck
Objective-Based Counterfactual Explanations for Linear Discrete Optimization. CPAIOR (2023)
Junyang Cai, Khai-Nguyen Nguyen, Nishant Shrestha, Aidan Good, Ruisen Tu, Xin Yu, Shandian Zhe, Thiago Serra
Getting Away with More Network Pruning: From Sparsity to Geometry and Linear Regions. CPAIOR (2023)
Mostafa ElAraby, Guy Wolf, Margarida Carvalho
OAMIP: Optimizing ANN Architectures Using Mixed-Integer Programming. CPAIOR (2023)
Auguste Burlats, Gilles Pesant
Exploiting Entropy in Constraint Programming. CPAIOR (2023)
Dongyun Kim, Yeonjun Choi, Kyungduk Moon, Myungho Lee, Kangbok Lee, Michael L. Pinedo
Iterated Greedy Constraint Programming for Scheduling Steelmaking Continuous Casting. CPAIOR (2023)
Parag Pravin Dakle, Serdar Kadioglu, Karthik Uppuluri, Regina Politi, Preethi Raghavan, SaiKrishna Rallabandi, Ravisutha Srinivasamurthy
Ner4Opt: Named Entity Recognition for Optimization Modelling from Natural Language. CPAIOR (2023)
Aravinth Chembu, Scott Sanner, Elias B. Khalil
Scalable and Near-Optimal ε-Tube Clusterwise Regression. CPAIOR (2023)
Pierre Montalbano, David Allouche, Simon de Givry, George Katsirelos, Tomás Werner
Virtual Pairwise Consistency in Cost Function Networks. CPAIOR (2023)
Antonia Chmiela, Ambros M. Gleixner, Pawel Lichocki, Sebastian Pokutta
Online Learning for Scheduling MIP Heuristics. CPAIOR (2023)
Aaron M. Ferber, Emily Griffin, Bistra Dilkina, Burcu B. Keskin, Meredith Gore
Predicting Wildlife Trafficking Routes with Differentiable Shortest Paths. CPAIOR (2023)
Yiwei Bai, Qinru Shi, Marc Grimson, Alexander Flecker, Carla P. Gomes
Efficiently Approximating High-Dimensional Pareto Frontiers for Tree-Structured Networks Using Expansion and Compression. CPAIOR (2023)
Christopher Hojny, Marc E. Pfetsch
Handling Symmetries in Mixed-Integer Semidefinite Programs. CPAIOR (2023)
Carla Juvin, Laurent Houssin, Pierre Lopez
Constraint Programming for the Robust Two-Machine Flow-Shop Scheduling Problem with Budgeted Uncertainty. CPAIOR (2023)
Trong-Hieu Tran, Cédric Pralet, Hélène Fargier
Combining Incomplete Search and Clause Generation: An Application to the Orienteering Problems with Time Windows. CPAIOR (2023)
Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems. CPAIOR (2023)
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. CPAIOR (2023)
Anthony Karahalios, Willem-Jan van Hoeve
Column Elimination for Capacitated Vehicle Routing Problems. CPAIOR (2023)
Xinyi Hu, Jasper C. H. Lee, Jimmy H. M. Lee
Branch & Learn with Post-hoc Correction for Predict+Optimize with Unknown Parameters in Constraints. CPAIOR (2023)
Egon Persak, Miguel F. Anjos
Contextual Robust Optimisation with Uncertainty Quantification. CPAIOR (2023)
François-Alexandre Tremblay, Dominique Piché-Meunier, Louis Dubois
Multi-objective Optimization for the Design of Salary Structures. CPAIOR (2023)

volume 13884, 2023

Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings CPAIOR 13884 (2023)

2022

volume 13292, 2022

Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings CPAIOR 13292 (2022)