Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Aravinth Chembu, Scott Sanner, Elias B. Khalil |
Scalable and Near-Optimal ε-Tube Clusterwise Regression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 254-263, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Avraham Itzhakov, Michael Codish |
Breaking Symmetries with High Dimensional Graph Invariants and Their Combination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 133-149, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jihwan Jeong, Scott Sanner, Akshat Kumar |
A Mixed-Integer Linear Programming Reduction of Disjoint Bilinear Programs via Symbolic Variable Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 79-95, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | François-Alexandre Tremblay, Dominique Piché-Meunier, Louis Dubois |
Multi-objective Optimization for the Design of Salary Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 427-442, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dongyun Kim, Yeonjun Choi, Kyungduk Moon, Myungho Lee, Kangbok Lee, Michael L. Pinedo |
Iterated Greedy Constraint Programming for Scheduling Steelmaking Continuous Casting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 477-492, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Taoan Huang, Aaron M. Ferber, Yuandong Tian, Bistra Dilkina, Benoit Steiner |
Local Branching Relaxation Heuristics for Integer Linear Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 96-113, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mark Turner 0010, Timo Berthold, Mathieu Besançon, Thorsten Koch |
Cutting Plane Selection with Analytic Centers and Multiregression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 52-68, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mostafa ElAraby, Guy Wolf, Margarida Carvalho |
OAMIP: Optimizing ANN Architectures Using Mixed-Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 219-237, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 493-509, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaos Efthymiou, Neil Yorke-Smith |
Predicting the Optimal Period for Cyclic Hoist Scheduling Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 238-253, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Tardivo, Agostino Dovier, Andrea Formisano 0001, Laurent Michel, Enrico Pontelli |
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 336-353, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Squillaci, Cédric Pralet, Stéphanie Roussel 0001 |
Scheduling Complex Observation Requests for a Constellation of Satellites: Large Neighborhood Search Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 443-459, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Anton Korikov, J. Christopher Beck |
Objective-Based Counterfactual Explanations for Linear Discrete Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 18-34, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Paulius Dilkas |
Generating Random Instances of Weighted Model Counting - An Empirical Analysis with Varying Primal Treewidth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 395-416, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Eldan Cohen |
Interpretable Clustering via Soft Clustering Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 281-298, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rebecca Gentzel, Laurent Michel, Willem-Jan van Hoeve |
Optimization Bounds from Decision Diagrams in Haddock. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 150-166, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Karahalios, Willem-Jan van Hoeve |
Column Elimination for Capacitated Vehicle Routing Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 35-51, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ítalo Santana, Andrea Lodi 0001, Thibaut Vidal |
Neural Networks for Local Search and Crossover in Vehicle Routing: A Possible Overkill? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 184-199, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Claude-Guy Quimper |
Boolean-Arithmetic Equations: Acquisition and Uses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 378-394, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | André A. Ciré (eds.) |
Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![Springer, 978-3-031-33270-8 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Egon Persak, Miguel F. Anjos |
Contextual Robust Optimisation with Uncertainty Quantification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 124-132, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Carla Juvin, Laurent Houssin, Pierre Lopez |
Constraint Programming for the Robust Two-Machine Flow-Shop Scheduling Problem with Budgeted Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 354-369, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Hojny, Marc E. Pfetsch |
Handling Symmetries in Mixed-Integer Semidefinite Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 69-78, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 1-17, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Antonia Chmiela, Ambros M. Gleixner, Pawel Lichocki, Sebastian Pokutta |
Online Learning for Scheduling MIP Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 114-123, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gauthier Pezzoli, Gilles Pesant |
A Weighted Counting Algorithm for the Circuit Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 370-377, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Auguste Burlats, Gilles Pesant |
Exploiting Entropy in Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 320-335, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda |
ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 167-183, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Montalbano, David Allouche, Simon de Givry, George Katsirelos, Tomás Werner |
Virtual Pairwise Consistency in Cost Function Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 417-426, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Aaron M. Ferber, Emily Griffin, Bistra Dilkina, Burcu B. Keskin, Meredith Gore |
Predicting Wildlife Trafficking Routes with Differentiable Shortest Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 460-476, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Xinyi Hu, Jasper C. H. Lee, Jimmy H. M. Lee |
Branch & Learn with Post-hoc Correction for Predict+Optimize with Unknown Parameters in Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 264-280, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Junyang Cai, Khai-Nguyen Nguyen, Nishant Shrestha, Aidan Good, Ruisen Tu, Xin Yu 0003, Shandian Zhe, Thiago Serra |
Getting Away with More Network Pruning: From Sparsity to Geometry and Linear Regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 200-218, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings, pp. 299-319, 2023, Springer, 978-3-031-33270-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Isoart, Jean-Charles Régin |
Improving the Robustness of EPS to Solve the TSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 155-172, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Justin J. Boutilier, Carla Michini, Zachary Zhou |
Shattering Inequalities for Learning Optimal Decision Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 74-90, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Victor Jung, Jean-Charles Régin |
Efficient Operations Between MDDs and Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 173-189, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Aaron M. Ferber, Jialin Song, Bistra Dilkina, Yisong Yue |
Learning Pseudo-Backdoors for Mixed Integer Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 91-102, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sidhant Bhavnani, Alexander Schiendorfer |
Towards Copeland Optimization in Combinatorial Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 34-43, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Wojciechowski 0002, K. Subramani 0001, Alvaro Velasquez |
Analyzing the Reachability Problem in Choice Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 408-423, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jiachen Zhang, Giovanni Lo Bianco, J. Christopher Beck |
Model-Based Approaches to Multi-attribute Diverse Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 424-440, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ignace Bleukx, Senne Berden, Lize Coenen, Nicholas Decleyre, Tias Guns |
Model-Based Algorithm Configuration with Adaptive Capping and Prior Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 64-73, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Aïvodji, Julien Ferry, Sébastien Gambs, Marie-José Huguet, Mohamed Siala 0002 |
Leveraging Integer Linear Programming to Learn Optimal Fair Rule Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 103-119, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | John N. Hooker |
Stochastic Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 138-154, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Eddie Armstrong, Michele Garraffa, Barry O'Sullivan, Helmut Simonis |
A Two-Phase Hybrid Approach for the Hybrid Flexible Flowshop with Transportation Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 1-13, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ang Li, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar |
A FastMap-Based Algorithm for Block Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 232-248, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Gennaro Auricchio, Luca Ferrarini, Stefano Gualandi, Greta Lanzarotto, Ludovico Pernazza |
A SAT Encoding to Compute Aperiodic Tiling Rhythmic Canons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 14-23, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Timo Berthold, Gregor Hendel, Domenico Salvagnin |
Transferring Information Across Restarts in MIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 24-33, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yanick Ouellet, Claude-Guy Quimper |
A MinCumulative Resource Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 318-334, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Peter J. Stuckey, Guido Tack |
Enumerated Types and Type Extensions for MiniZinc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 374-389, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Marc Geitz, Cristian Grozea, Wolfgang Steigerwald, Robin Stöhr, Armin Wolf |
Solving the Extended Job Shop Scheduling Problem with AGVs - Classical and Quantum Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 120-137, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Wouter Kool 0001, Herke van Hoof, Joaquim A. S. Gromicho, Max Welling |
Deep Policy Dynamic Programming for Vehicle Routing Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 190-213, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Pesant, Claude-Guy Quimper, Hélène Verhaeghe |
Practically Uniform Solution Sampling in Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 335-344, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Carles Roger Riera Molina, Camilo Rey, Thiago Serra, Eloi Puertas, Oriol Pujol |
Training Thinner and Deeper Neural Networks: Jumpstart Regularization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 345-357, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Wijnand Suijlen, Félix de Framond, Arnaud Lallouet, Antoine Petitet |
A Parallel Algorithm for GAC Filtering of the Alldifferent Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 390-407, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Schaus (eds.) |
Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![Springer, 978-3-031-08010-4 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mattia Silvestri, Allegra De Filippo, Federico Ruggeri, Michele Lombardi 0001 |
Hybrid Offline/Online Optimization for Energy Management via Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 358-373, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yiqing L. Luo, J. Christopher Beck |
Packing by Scheduling: Using Constraint Programming to Solve a Complex 2D Cutting Stock Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 249-265, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Fabio F. Oberweger, Günther R. Raidl, Elina Rönnberg, Marc Huber |
A Learning Large Neighborhood Search for the Staff Rerostering Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 300-317, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Steve Malalel, Victor Jung, Jean-Charles Régin, Marie Pelleau |
Dealing with the Product Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 266-281, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Montalbano, Simon de Givry, George Katsirelos |
Multiple-choice Knapsack Constraint in Graphical Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 282-299, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hendrik Bierlee, Graeme Gange, Guido Tack, Jip J. Dekker, Peter J. Stuckey |
Coupling Different Integer Encodings for SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 44-63, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Petr Kucera |
Learning a Propagation Complete Formula. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings, pp. 214-231, 2022, Springer, 978-3-031-08010-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaj S. Bjørner, Maxwell Levatich, Nuno P. Lopes, Andrey Rybalchenko, Chandrasekar Vuppalapati |
Supercharging Plant Configurations Using Z3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 1-25, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | James Fitzpatrick, Deepak Ajwani, Paula Carroll |
Learning to Sparsify Travelling Salesman Problem Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 410-426, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mattia Silvestri, Michele Lombardi 0001, Michela Milano |
Injecting Domain Knowledge in Neural Networks: A Controlled Experiment on a Constrained Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 266-282, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Gillard, Vianney Coppé, Pierre Schaus, André Augusto Ciré |
Improving the Filtering of Branch-and-Bound MDD Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 231-247, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Pesant, Kuldeep S. Meel, Mahshid Mohammadalitajrishi |
On the Usefulness of Linear Modular Arithmetic in Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 248-265, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Roel Lambers, Laurent Rothuizen, Frits C. R. Spieksma |
The Traveling Social Golfer Problem: The Case of the Volleyball Nations League. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 149-162, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Claire Hanen, Alix Munier Kordon, Theo Pedersen |
Two Deadline Reduction Algorithms for Scheduling Dependent Tasks on Parallel Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 214-230, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Christian Klanke, Dominik R. Bleidorn, Vassilios Yfantis, Sebastian Engell |
Combining Constraint Programming and Temporal Decomposition Approaches - Scheduling of an Industrial Formulation Plant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 133-148, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Avgerinos, Ioannis Mourtos, Georgios Zois |
Logic-Based Benders Decomposition for an Inter-modal Transportation Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 315-331, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Richard Hoshino, Irene Fabris |
Partitioning Students into Cohorts During COVID-19. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 89-105, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ikram Nekkache, Saïd Jabbour, Lakhdar Sais, Nadjet Kamel |
Towards a Compact SAT-Based Encoding of Itemset Mining Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 163-178, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Félix Chalumeau, Ilan Coulon, Quentin Cappart, Louis-Martin Rousseau |
SeaPearl: A Constraint Programming Solver Guided by Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 392-409, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Horn, Günther R. Raidl |
A*-Based Compilation of Relaxed Decision Diagrams for the Longest Common Subsequence Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 72-88, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Keliang Wang, Leonardo Lozano, David Bergman, Carlos Cardonha |
A Two-Stage Exact Algorithm for Optimization of Neural Network Ensemble. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 106-114, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kronqvist, Ruth Misener, Calvin Tsay |
Between Steps: Intermediate Relaxations Between Big-M and Convex Hull Formulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 299-314, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Serdar Kadioglu, Bernard Kleynhans, Xin Wang |
Optimized Item Selection to Boost Exploration for Recommender Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 427-445, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Hill, Jordan Ticktin, Thomas W. M. Vossen |
A Computational Study of Constraint Programming Approaches for Resource-Constrained Project Scheduling with Autonomous Learning Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 26-44, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Victor Jung, Jean-Charles Régin |
Checking Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 332-347, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Max Åstrand, Mikael Johansson 0001, Hamid Reza Feyzmahdavian |
Short-Term Scheduling of Production Fleets in Underground Mines Using CP-Based LNS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 365-382, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marvin Stanczak, Cédric Pralet, Vincent Vidal 0001, Vincent Baudoui |
A Pipe Routing Hybrid Approach Based on A-Star Search and Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 179-195, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ronald van Driel, Emir Demirovic, Neil Yorke-Smith |
Learning Variable Activity Initialisation for Lazy Clause Generation Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 62-71, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Peter J. Stuckey (eds.) |
Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![Springer, 978-3-030-78229-0 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Till Porrmann, Michael Römer |
Learning to Reduce State-Expanded Networks for Multi-activity Shift Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 383-391, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Formenti, Jean-Charles Régin, Sara Riva |
MDDs Boost Equation Solving on Discrete Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 196-213, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Geibinger, Lucas Kletzander, Matthias Krainz, Florian Mischek, Nysret Musliu, Felix Winter |
Physician Scheduling During a Pandemic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 456-465, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Augustin Parjadis, Quentin Cappart, Louis-Martin Rousseau, David Bergman |
Improving Branch-and-Bound Using Decision Diagrams and Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 446-455, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Eldan Cohen, J. Christopher Beck |
Heavy-Tails and Randomized Restarting Beam Search in Goal-Oriented Neural Sequence Decoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 115-132, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Özgür Akgün, Jessica A. Enright, Christopher Jefferson, Ciaran McCreesh, Patrick Prosser, Steffen Zschaler |
Finding Subgraphs with Side Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 348-364, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Emil Karlsson, Elina Rönnberg |
Strengthening of Feasibility Cuts in Logic-Based Benders Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 45-61, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Bracher, Nikolaus Frohner, Günther R. Raidl |
Learning Surrogate Functions for the Short-Horizon Planning in Same-Day Delivery Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, pp. 283-298, 2021, Springer, 978-3-030-78229-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Mulamba, Jayanta Mandi, Rocsildes Canoy, Tias Guns |
Hybrid Classification and Reasoning for Image-Based Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings, pp. 364-380, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michele Battistutta, Sara Ceschia, Fabio De Cesco, Luca Di Gaspero, Andrea Schaerf, Elena Topan |
Local Search and Constraint Programming for a Real-World Examination Timetabling Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings, pp. 69-81, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Özgür Akgün, Nguyen Dang 0001, Ian Miguel, András Z. Salamon, Patrick Spracklen, Christopher Stone |
Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings, pp. 41-51, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Beldiceanu, Maria-Isabel Restrepo-Ruiz, Helmut Simonis |
Parameterised Bounds on the Sum of Variables in Time-Series Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings, pp. 82-98, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Charles Thomas 0005, Roger Kameugne, Pierre Schaus |
Insertion Sequence Variables for Hybrid Routing and Scheduling Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings, pp. 457-474, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yoshua Bengio, Emma Frejinger, Andrea Lodi 0001, Rahul Patel, Sriram Sankaranarayanan 0002 |
A Learning-Based Algorithm to Quickly Compute Good Primal Solutions for Stochastic Integer Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings, pp. 99-111, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Beste Basciftci, Pascal Van Hentenryck |
Bilevel Optimization for On-Demand Multimodal Transit Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings, pp. 52-68, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey |
Core-Guided and Core-Boosted Search for CP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings, pp. 205-221, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|