- Zhongdi Qu, Marc Grimson, Yue Mao, Sebastian Heilpern, Imanol Miqueleiz, Felipe Siqueira Pacheco, Alexander Flecker, Carla P. Gomes:
Strategies for Compressing the Pareto Frontier: Application to Strategic Planning of Hydropower in the Amazon Basin. CPAIOR (2) 2024: 141-157 - Noah Schutte
, Krzysztof Postek
, Neil Yorke-Smith
:
Improving Metaheuristic Efficiency for Stochastic Optimization by Sequential Predictive Sampling. CPAIOR (2) 2024: 158-175 - Aïdin Sumic, Alessandro Cimatti, Andrea Micheli, Thierry Vidal:
SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability. CPAIOR (2) 2024: 176-192 - Bo Tang
, Elias B. Khalil
:
CaVE: A Cone-Aligned Approach for Fast Predict-then-optimize with Binary Linear Programs. CPAIOR (2) 2024: 193-210 - Charles Thomas
, Pierre Schaus
:
A Constraint Programming Approach for Aircraft Disassembly Scheduling. CPAIOR (2) 2024: 211-220 - Jiatai Tong, Junyang Cai, Thiago Serra:
Optimization over Trained Neural Networks: Taking a Relaxing Walk. CPAIOR (2) 2024: 221-233 - Bastián Véjar, Gaël Aglin, Ali Irfan Mahmutogullari, Siegfried Nijssen, Pierre Schaus, Tias Guns:
An Efficient Structured Perceptron for NP-Hard Combinatorial Optimization Problems. CPAIOR (2) 2024: 253-262 - Andrea Visentin
, Aodh Ó Gallchóir, Jens Kärcher
, Herbert Meyr
:
Explainable Algorithm Selection for the Capacitated Lot Sizing Problem. CPAIOR (2) 2024: 243-252 - Adrian Wurm
:
Robustness Verification in Neural Networks. CPAIOR (2) 2024: 263-278 - Chao Yin, Quentin Cappart, Gilles Pesant:
An Improved Neuro-Symbolic Architecture to Fine-Tune Generative AI Systems. CPAIOR (2) 2024: 279-288 - Haoruo Zhao, Hassan L. Hijazi, Haydn Jones, Juston Moore, Mathieu Tanneau, Pascal Van Hentenryck:
Bound Tightening Using Rolling-Horizon Decomposition for Neural Network Verification. CPAIOR (2) 2024: 289-303 - Mehdi Zouitine, Ahmad Berjaoui, Agnès Lagnoux, Clément Pellegrini, Emmanuel Rachelson:
Learning Heuristics for Combinatorial Optimization Problems on K-Partite Hypergraphs. CPAIOR (2) 2024: 304-314 - 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 [contents] - Bistra Dilkina
:
Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14743, Springer 2024, ISBN 978-3-031-60601-4 [contents] - 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: 1-17 - Auguste Burlats, Gilles Pesant:
Exploiting Entropy in Constraint Programming. CPAIOR 2023: 320-335 - 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: 200-218 - Aravinth Chembu, Scott Sanner, Elias B. Khalil:
Scalable and Near-Optimal ε-Tube Clusterwise Regression. CPAIOR 2023: 254-263 - Antonia Chmiela, Ambros M. Gleixner, Pawel Lichocki, Sebastian Pokutta:
Online Learning for Scheduling MIP Heuristics. CPAIOR 2023: 114-123 - Eldan Cohen:
Interpretable Clustering via Soft Clustering Trees. CPAIOR 2023: 281-298 - 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: 299-319 - Paulius Dilkas
:
Generating Random Instances of Weighted Model Counting - An Empirical Analysis with Varying Primal Treewidth. CPAIOR 2023: 395-416 - Nikolaos Efthymiou
, Neil Yorke-Smith
:
Predicting the Optimal Period for Cyclic Hoist Scheduling Problems. CPAIOR 2023: 238-253 - Mostafa ElAraby, Guy Wolf, Margarida Carvalho:
OAMIP: Optimizing ANN Architectures Using Mixed-Integer Programming. CPAIOR 2023: 219-237 - Aaron M. Ferber, Emily Griffin, Bistra Dilkina, Burcu B. Keskin, Meredith Gore:
Predicting Wildlife Trafficking Routes with Differentiable Shortest Paths. CPAIOR 2023: 460-476 - Rebecca Gentzel, Laurent Michel
, Willem-Jan van Hoeve
:
Optimization Bounds from Decision Diagrams in Haddock. CPAIOR 2023: 150-166 - Ramiz Gindullin
, Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Claude-Guy Quimper:
Boolean-Arithmetic Equations: Acquisition and Uses. CPAIOR 2023: 378-394 - Christopher Hojny
, Marc E. Pfetsch
:
Handling Symmetries in Mixed-Integer Semidefinite Programs. CPAIOR 2023: 69-78 - 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: 264-280 - Taoan Huang
, Aaron M. Ferber
, Yuandong Tian
, Bistra Dilkina
, Benoit Steiner
:
Local Branching Relaxation Heuristics for Integer Linear Programs. CPAIOR 2023: 96-113