CPAIOR B

44 papers

YearTitle / Authors
2019A Computational Comparison of Optimization Methods for the Golomb Ruler Problem.
Burak Kocuk, Willem-Jan van Hoeve
2019A Constraint Programming Approach to Electric Vehicle Routing with Time Windows.
Kyle E. C. Booth, J. Christopher Beck
2019A Counting-Based Approach to Scalable Micro-service Deployment.
Waldemar Cruz, Fanghui Liu, Laurent Michel
2019A Hybrid Approach for Exact Coloring of Massive Graphs.
Emmanuel Hebrard, George Katsirelos
2019A New CP-Approach for a Parallel Machine Scheduling Problem with Time Constraints on Machine Qualifications.
Arnaud Malapert, Margaux Nattaf
2019A Sampling-Free Anticipatory Algorithm for the Kidney Exchange Problem.
Danuta Sorina Chisca, Michele Lombardi, Michela Milano, Barry O'Sullivan
2019A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming.
Jakob Witzig, Timo Berthold, Stefan Heinz
2019A Study on the Traveling Salesman Problem with a Drone.
Ziye Tang, Willem-Jan van Hoeve, Paul Shaw
2019An Approach to Robustness in the Stable Roommates Problem and Its Comparison with the Stable Marriage Problem.
Begum Genc, Mohamed Siala, Gilles Simonin, Barry O'Sullivan
2019An Improved Subsumption Testing Algorithm for the Optimal-Size Sorting Network Problem.
Cristian Frasinaru, Madalina Raschip
2019An Investigation into Prediction + Optimisation for the Knapsack Problem.
Emir Demirovic, Peter J. Stuckey, James Bailey, Jeffrey Chan, Chris Leckie, Kotagiri Ramamohanarao, Tias Guns
2019An Optimization Approach to the Ordering Phase of an Attended Home Delivery Service.
Günther Cwioro, Philipp Hungerländer, Kerstin Maier, Jörg Pöcher, Christian Truden
2019Arc Consistency Revisited.
Ruiwei Wang, Roland H. C. Yap
2019Binary Decision Diagrams for Bin Packing with Minimum Color Fragmentation.
David Bergman, Carlos Cardonha, Saharnaz Mehrani
2019Building Optimal Steiner Trees on Supercomputers by Using up to 43, 000 Cores.
Yuji Shinano, Daniel Rehfeldt, Thorsten Koch
2019Column Generation for Real-Time Ride-Sharing Operations.
Connor Riley, Antoine Legrain, Pascal Van Hentenryck
2019Computing Wasserstein Barycenters via Linear Programming.
Gennaro Auricchio, Federico Bassetti, Stefano Gualandi, Marco Veneroni
2019Consistency for 0-1 Programming.
Danial Davarnia, John N. Hooker
2019Constraint Programming for Dynamic Symbolic Execution of JavaScript.
Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
2019Core-Boosted Linear Search for Incomplete MaxSAT.
Jeremias Berg, Emir Demirovic, Peter J. Stuckey
2019Deep Inverse Optimization.
Yingcong Tan, Andrew Delong, Daria Terekhov
2019Efficient Solution Methods for the Cumulative-Interference Channel Assignment Problem Using Integer Optimization and Constraint Programming.
Paul J. Nicholas, Karla L. Hoffman
2019Embedding Decision Diagrams into Generative Adversarial Networks.
Yexiang Xue, Willem-Jan van Hoeve
2019Evaluating Ising Processing Units with Integer Programming.
Carleton Coffrin, Harsha Nagarajan, Russell Bent
2019Extending Compact-Diagram to Basic Smart Multi-Valued Variable Diagrams.
Hélène Verhaeghe, Christophe Lecoutre, Pierre Schaus
2019Generating Compound Moves in Local Search by Hybridisation with Complete Search.
Gustav Björdal, Pierre Flener, Justin Pearson
2019Heat Exchanger Circuitry Design by Decision Diagrams.
Nikolaos Ploskas, Christopher R. Laughman, Arvind U. Raghunathan, Nikolaos V. Sahinidis
2019Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings
Louis-Martin Rousseau, Kostas Stergiou
2019Investigating Constraint Programming for Real World Industrial Test Laboratory Scheduling.
Tobias Geibinger, Florian Mischek, Nysret Musliu
2019Last-Mile Scheduling Under Uncertainty.
Thiago Serra, Arvind U. Raghunathan, David Bergman, John N. Hooker, Shingo Kobori
2019Learning MILP Resolution Outcomes Before Reaching Time-Limit.
Martina Fischetti, Andrea Lodi, Giulia Zarpellon
2019Local Rapid Learning for Integer Programs.
Timo Berthold, Peter J. Stuckey, Jakob Witzig
2019Lower Bounds for Uniform Machine Scheduling Using Decision Diagrams.
Pim van den Bogaerdt, Mathijs de Weerdt
2019Metric Hybrid Factored Planning in Nonlinear Domains with Constraint Generation.
Buser Say, Scott Sanner
2019Modelling and Solving the Minimum Shift Design Problem.
Lucas Kletzander, Nysret Musliu
2019Optimality Clue for Graph Coloring Problem.
Alexandre Gondran, Laurent Moalic
2019Quadratic Reformulation of Nonlinear Pseudo-Boolean Functions via the Constraint Composite Graph.
Ka-Wa Yip, Hong Xu, Sven Koenig, T. K. Satish Kumar
2019Repairing Learned Controllers with Convex Optimization: A Case Study.
Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella
2019SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations.
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
2019Sequential and Parallel Solution-Biased Search for Subgraph Algorithms.
Blair Archibald, Fraser Dunlop, Ruth Hoffmann, Ciaran McCreesh, Patrick Prosser, James Trimble
2019Some Experiments with Submodular Function Maximization via Integer Programming.
Domenico Salvagnin
2019The Maximum Weighted Submatrix Coverage Problem: A CP Approach.
Guillaume Derval, Vincent Branders, Pierre Dupont, Pierre Schaus
2019Time Table Edge Finding with Energy Variables.
Moli Yang, Andreas Schutt, Peter J. Stuckey
2019Using Cost-Based Solution Densities from TSP Relaxations to Solve Routing Problems.
Pierre Coste, Andrea Lodi, Gilles Pesant