CPAIOR B

33 papers

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