![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
20th CPAIOR 2023: Nice, France
- André A. Ciré
:
Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings. Lecture Notes in Computer Science 13884, Springer 2023, ISBN 978-3-031-33270-8 - 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. 1-17 - Anton Korikov
, J. Christopher Beck
:
Objective-Based Counterfactual Explanations for Linear Discrete Optimization. 18-34 - Anthony Karahalios
, Willem-Jan van Hoeve
:
Column Elimination for Capacitated Vehicle Routing Problems. 35-51 - Mark Turner
, Timo Berthold
, Mathieu Besançon
, Thorsten Koch
:
Cutting Plane Selection with Analytic Centers and Multiregression. 52-68 - Christopher Hojny
, Marc E. Pfetsch
:
Handling Symmetries in Mixed-Integer Semidefinite Programs. 69-78 - Jihwan Jeong, Scott Sanner, Akshat Kumar:
A Mixed-Integer Linear Programming Reduction of Disjoint Bilinear Programs via Symbolic Variable Elimination. 79-95 - Taoan Huang
, Aaron M. Ferber
, Yuandong Tian
, Bistra Dilkina
, Benoit Steiner
:
Local Branching Relaxation Heuristics for Integer Linear Programs. 96-113 - Antonia Chmiela, Ambros M. Gleixner
, Pawel Lichocki, Sebastian Pokutta:
Online Learning for Scheduling MIP Heuristics. 114-123 - Egon Persak
, Miguel F. Anjos
:
Contextual Robust Optimisation with Uncertainty Quantification. 124-132 - Avraham Itzhakov, Michael Codish:
Breaking Symmetries with High Dimensional Graph Invariants and Their Combination. 133-149 - Rebecca Gentzel, Laurent Michel
, Willem-Jan van Hoeve
:
Optimization Bounds from Decision Diagrams in Haddock. 150-166 - Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda:
ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems. 167-183 - Ítalo Santana
, Andrea Lodi
, Thibaut Vidal
:
Neural Networks for Local Search and Crossover in Vehicle Routing: A Possible Overkill? 184-199 - 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. 200-218 - Mostafa ElAraby, Guy Wolf, Margarida Carvalho:
OAMIP: Optimizing ANN Architectures Using Mixed-Integer Programming. 219-237 - Nikolaos Efthymiou
, Neil Yorke-Smith
:
Predicting the Optimal Period for Cyclic Hoist Scheduling Problems. 238-253 - Aravinth Chembu, Scott Sanner, Elias B. Khalil:
Scalable and Near-Optimal ε-Tube Clusterwise Regression. 254-263 - Xinyi Hu, Jasper C. H. Lee, Jimmy H. M. Lee:
Branch & Learn with Post-hoc Correction for Predict+Optimize with Unknown Parameters in Constraints. 264-280 - Eldan Cohen:
Interpretable Clustering via Soft Clustering Trees. 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. 299-319 - Auguste Burlats, Gilles Pesant:
Exploiting Entropy in Constraint Programming. 320-335 - Fabio Tardivo
, Agostino Dovier
, Andrea Formisano
, Laurent Michel
, Enrico Pontelli
:
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. 336-353 - Carla Juvin, Laurent Houssin
, Pierre Lopez:
Constraint Programming for the Robust Two-Machine Flow-Shop Scheduling Problem with Budgeted Uncertainty. 354-369 - Gauthier Pezzoli, Gilles Pesant:
A Weighted Counting Algorithm for the Circuit Constraint. 370-377 - Ramiz Gindullin
, Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Claude-Guy Quimper:
Boolean-Arithmetic Equations: Acquisition and Uses. 378-394 - Paulius Dilkas
:
Generating Random Instances of Weighted Model Counting - An Empirical Analysis with Varying Primal Treewidth. 395-416 - Pierre Montalbano, David Allouche, Simon de Givry, George Katsirelos, Tomás Werner:
Virtual Pairwise Consistency in Cost Function Networks. 417-426 - François-Alexandre Tremblay
, Dominique Piché-Meunier
, Louis Dubois
:
Multi-objective Optimization for the Design of Salary Structures. 427-442 - Samuel Squillaci, Cédric Pralet, Stéphanie Roussel:
Scheduling Complex Observation Requests for a Constellation of Satellites: Large Neighborhood Search Approaches. 443-459 - Aaron M. Ferber, Emily Griffin, Bistra Dilkina, Burcu B. Keskin, Meredith Gore:
Predicting Wildlife Trafficking Routes with Differentiable Shortest Paths. 460-476 - Dongyun Kim
, Yeonjun Choi
, Kyungduk Moon
, Myungho Lee
, Kangbok Lee
, Michael L. Pinedo
:
Iterated Greedy Constraint Programming for Scheduling Steelmaking Continuous Casting. 477-492 - 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. 493-509
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.