default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th 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
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.
last updated on 2024-10-31 20:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
