default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th CPAIOR 2020: Vienna, Austria
- Emmanuel Hebrard
, Nysret Musliu:
Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings. Lecture Notes in Computer Science 12296, Springer 2020, ISBN 978-3-030-58941-7
Invited Papers
- Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler:
The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions. 3-21 - Sebastian Pokutta:
Restarting Algorithms: Sometimes There Is Free Lunch. 22-38
Regular Papers
- Özgür Akgün, Nguyen Dang, Ian Miguel, András Z. Salamon, Patrick Spracklen, Christopher Stone:
Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP. 41-51 - Beste Basciftci, Pascal Van Hentenryck:
Bilevel Optimization for On-Demand Multimodal Transit Systems. 52-68 - 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. 69-81 - Nicolas Beldiceanu, Maria-Isabel Restrepo-Ruiz, Helmut Simonis:
Parameterised Bounds on the Sum of Variables in Time-Series Constraints. 82-98 - Yoshua Bengio, Emma Frejinger, Andrea Lodi, Rahul Patel, Sriram Sankaranarayanan:
A Learning-Based Algorithm to Quickly Compute Good Primal Solutions for Stochastic Integer Programs. 99-111 - David E. Bernal, Kyle E. C. Booth, Raouf Dridi, Hedayat Alghassi, Sridhar R. Tayur, Davide Venturelli:
Integer Programming Techniques for Minor-Embedding in Quantum Annealers. 112-129 - Eldan Cohen, Arik Senderovich, J. Christopher Beck:
An Ising Framework for Constrained Clustering on Special Purpose Hardware. 130-147 - Francesco Contaldo, Patrick Trentin, Roberto Sebastiani:
From MiniZinc to Optimization Modulo Theories, and Back. 148-166 - Kevin Dalmeijer, Pascal Van Hentenryck:
Transfer-Expanded Graphs for On-Demand Multimodal Transit Systems. 167-175 - Marc Etheve, Zacharie Alès, Côme Bissuel, Olivier Juan, Safia Kedad-Sidhoum:
Reinforcement Learning for Variable Selection in a Branch and Bound Algorithm. 176-185 - Katalin Fazekas, Markus Sinnl, Armin Biere, Sophie N. Parragh:
Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth Problem. 186-204 - Graeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey:
Core-Guided and Core-Boosted Search for CP. 205-221 - Yagmur S. Gök, Daniel Guimarans, Peter J. Stuckey, Maurizio Tomasella, Cemalettin Ozturk:
Robust Resource Planning for Aircraft Ground Operations. 222-238 - Pierre-Yves Bouchet, Stefano Gualandi, Louis-Martin Rousseau:
Primal Heuristics for Wasserstein Barycenters. 239-255 - Mohammed Najib Haouas, Daniel Aloise, Gilles Pesant:
An Exact CP Approach for the Cardinality-Constrained Euclidean Minimum Sum-of-Squares Clustering Problem. 256-272 - Kai Hoppmann, Gioni Mexi, Oleg Burdakov, Carl Johan Casselgren, Thorsten Koch:
Minimum Cycle Partition with Length Requirements. 273-282 - Richard Hoshino, Irene Fabris:
Optimizing Student Course Preferences in School Timetabling. 283-299 - Nicolas Isoart, Jean-Charles Régin:
Adaptive CP-Based Lagrangian Relaxation for TSP Solving. 300-316 - Alexandre Lemos, Pedro T. Monteiro, Inês Lynce:
Minimal Perturbation in University Timetabling with Maximum Satisfiability. 317-333 - Alexandre Mercier-Aubin, Jonathan Gaudreault, Claude-Guy Quimper:
Leveraging Constraint Scheduling: A Case Study to the Textile Industry. 334-346 - Jayanth Krishna Mogali, Willem-Jan van Hoeve, Stephen F. Smith:
Template Matching and Decision Diagrams for Multi-agent Path Finding. 347-363 - Maxime Mulamba, Jayanta Mandi, Rocsildes Canoy, Tias Guns:
Hybrid Classification and Reasoning for Image-Based Constraint Solving. 364-380 - Chiara Piacentini, Hyunmin Cheong, Mehran Ebrahimi, Adrian Butscher:
Multi-speed Gearbox Synthesis Using Global Search and Non-convex Optimization. 381-398 - Thiago Serra:
Enumerative Branching with Less Repetition. 399-416 - Thiago Serra, Abhinav Kumar, Srikumar Ramalingam:
Lossless Compression of Deep Neural Networks. 417-430 - Tanya Y. Tang, J. Christopher Beck:
CP and Hybrid Models for Two-Stage Batching and Scheduling. 431-446 - Maximilian Thiessen, Luis Quesada, Kenneth N. Brown:
Improving a Branch-and-Bound Approach for the Degree-Constrained Minimum Spanning Tree Problem with LKH. 447-456 - Charles Thomas, Roger Kameugne, Pierre Schaus:
Insertion Sequence Variables for Hybrid Routing and Scheduling Problems. 457-474 - Fulya Trösser, Simon de Givry, George Katsirelos:
Relaxation-Aware Heuristics for Exact Optimization in Graphical Models. 475-491 - Gabriel Volte, Eric Bourreau, Rodolphe Giroudeau, Olivier Naud:
Exact Method Approaches for the Differential Harvest Problem. 492-510 - Johan Wessén, Mats Carlsson, Christian Schulte:
Scheduling of Dual-Arm Multi-tool Assembly Robots and Workspace Layout Optimization. 511-520 - Jakob Witzig, Timo Berthold:
Conflict-Free Learning for Mixed Integer Programming. 521-530
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 2025-12-09 00:10 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:
