CPAIOR B

35 papers

YearTitle / Authors
2020A Learning-Based Algorithm to Quickly Compute Good Primal Solutions for Stochastic Integer Programs.
Yoshua Bengio, Emma Frejinger, Andrea Lodi, Rahul Patel, Sriram Sankaranarayanan
2020Adaptive CP-Based Lagrangian Relaxation for TSP Solving.
Nicolas Isoart, Jean-Charles Régin
2020An Exact CP Approach for the Cardinality-Constrained Euclidean Minimum Sum-of-Squares Clustering Problem.
Mohammed Najib Haouas, Daniel Aloise, Gilles Pesant
2020An Ising Framework for Constrained Clustering on Special Purpose Hardware.
Eldan Cohen, Arik Senderovich, J. Christopher Beck
2020Bilevel Optimization for On-Demand Multimodal Transit Systems.
Beste Basciftci, Pascal Van Hentenryck
2020CP and Hybrid Models for Two-Stage Batching and Scheduling.
Tanya Y. Tang, J. Christopher Beck
2020Conflict-Free Learning for Mixed Integer Programming.
Jakob Witzig, Timo Berthold
2020Core-Guided and Core-Boosted Search for CP.
Graeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey
2020Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP.
Özgür Akgün, Nguyen Dang, Ian Miguel, András Z. Salamon, Patrick Spracklen, Christopher Stone
2020Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth Problem.
Katalin Fazekas, Markus Sinnl, Armin Biere, Sophie N. Parragh
2020Enumerative Branching with Less Repetition.
Thiago Serra
2020Exact Method Approaches for the Differential Harvest Problem.
Gabriel Volte, Eric Bourreau, Rodolphe Giroudeau, Olivier Naud
2020From MiniZinc to Optimization Modulo Theories, and Back.
Francesco Contaldo, Patrick Trentin, Roberto Sebastiani
2020Hybrid Classification and Reasoning for Image-Based Constraint Solving.
Maxime Mulamba, Jayanta Mandi, Rocsildes Canoy, Tias Guns
2020Improving a Branch-and-Bound Approach for the Degree-Constrained Minimum Spanning Tree Problem with LKH.
Maximilian Thiessen, Luis Quesada, Kenneth N. Brown
2020Insertion Sequence Variables for Hybrid Routing and Scheduling Problems.
Charles Thomas, Roger Kameugne, Pierre Schaus
2020Integer Programming Techniques for Minor-Embedding in Quantum Annealers.
David E. Bernal, Kyle E. C. Booth, Raouf Dridi, Hedayat Alghassi, Sridhar R. Tayur, Davide Venturelli
2020Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings
Emmanuel Hebrard, Nysret Musliu
2020Leveraging Constraint Scheduling: A Case Study to the Textile Industry.
Alexandre Mercier-Aubin, Jonathan Gaudreault, Claude-Guy Quimper
2020Local Search and Constraint Programming for a Real-World Examination Timetabling Problem.
Michele Battistutta, Sara Ceschia, Fabio De Cesco, Luca Di Gaspero, Andrea Schaerf, Elena Topan
2020Lossless Compression of Deep Neural Networks.
Thiago Serra, Abhinav Kumar, Srikumar Ramalingam
2020Minimal Perturbation in University Timetabling with Maximum Satisfiability.
Alexandre Lemos, Pedro T. Monteiro, Inês Lynce
2020Minimum Cycle Partition with Length Requirements.
Kai Hoppmann, Gioni Mexi, Oleg Burdakov, Carl Johan Casselgren, Thorsten Koch
2020Multi-speed Gearbox Synthesis Using Global Search and Non-convex Optimization.
Chiara Piacentini, Hyunmin Cheong, Mehran Ebrahimi, Adrian Butscher
2020Optimizing Student Course Preferences in School Timetabling.
Richard Hoshino, Irene Fabris
2020Parameterised Bounds on the Sum of Variables in Time-Series Constraints.
Nicolas Beldiceanu, Maria-Isabel Restrepo-Ruiz, Helmut Simonis
2020Primal Heuristics for Wasserstein Barycenters.
Pierre-Yves Bouchet, Stefano Gualandi, Louis-Martin Rousseau
2020Reinforcement Learning for Variable Selection in a Branch and Bound Algorithm.
Marc Etheve, Zacharie Alès, Côme Bissuel, Olivier Juan, Safia Kedad-Sidhoum
2020Relaxation-Aware Heuristics for Exact Optimization in Graphical Models.
Fulya Trösser, Simon de Givry, George Katsirelos
2020Restarting Algorithms: Sometimes There Is Free Lunch.
Sebastian Pokutta
2020Robust Resource Planning for Aircraft Ground Operations.
Yagmur S. Gök, Daniel Guimarans, Peter J. Stuckey, Maurizio Tomasella, Cemalettin Ozturk
2020Scheduling of Dual-Arm Multi-tool Assembly Robots and Workspace Layout Optimization.
Johan Wessén, Mats Carlsson, Christian Schulte
2020Template Matching and Decision Diagrams for Multi-agent Path Finding.
Jayanth Krishna Mogali, Willem-Jan van Hoeve, Stephen F. Smith
2020The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions.
Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler
2020Transfer-Expanded Graphs for On-Demand Multimodal Transit Systems.
Kevin Dalmeijer, Pascal Van Hentenryck