Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Nicolas Isoart, Jean-Charles Régin |
Adaptive CP-Based Lagrangian Relaxation for TSP 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. 300-316, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Yves Bouchet, Stefano Gualandi, Louis-Martin Rousseau |
Primal Heuristics for Wasserstein Barycenters. ![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. 239-255, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Contaldo, Patrick Trentin, Roberto Sebastiani |
From MiniZinc to Optimization Modulo Theories, and Back. ![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. 148-166, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Richard Hoshino, Irene Fabris |
Optimizing Student Course Preferences in School Timetabling. ![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. 283-299, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jayanth Krishna Mogali, Willem-Jan van Hoeve, Stephen F. Smith |
Template Matching and Decision Diagrams for Multi-agent Path Finding. ![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. 347-363, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Maximilian Thiessen, Luis Quesada 0001, Kenneth N. Brown |
Improving a Branch-and-Bound Approach for the Degree-Constrained Minimum Spanning Tree Problem with LKH. ![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. 447-456, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marc Etheve, Zacharie Alès, Côme Bissuel, Olivier Juan, Safia Kedad-Sidhoum |
Reinforcement Learning for Variable Selection in a Branch and Bound Algorithm. ![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. 176-185, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Dalmeijer, Pascal Van Hentenryck |
Transfer-Expanded Graphs 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. 167-175, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mohammed Najib Haouas, Daniel Aloise, Gilles Pesant |
An Exact CP Approach for the Cardinality-Constrained Euclidean Minimum Sum-of-Squares Clustering 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. 256-272, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler |
The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions. ![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. 3-21, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yagmur S. Gök, Daniel Guimarans, Peter J. Stuckey, Maurizio Tomasella, Cemalettin Ozturk |
Robust Resource Planning for Aircraft Ground Operations. ![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. 222-238, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Volte, Eric Bourreau, Rodolphe Giroudeau, Olivier Naud |
Exact Method Approaches for the Differential Harvest 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. 492-510, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Hebrard, Nysret Musliu (eds.) |
Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![Springer, 978-3-030-58941-7 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Lemos, Pedro T. Monteiro 0001, Inês Lynce |
Minimal Perturbation in University Timetabling with Maximum Satisfiability. ![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. 317-333, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Katalin Fazekas, Markus Sinnl, Armin Biere, Sophie N. Parragh |
Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth 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. 186-204, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Pokutta |
Restarting Algorithms: Sometimes There Is Free Lunch. ![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. 22-38, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chiara Piacentini, Hyunmin Cheong, Mehran Ebrahimi, Adrian Butscher |
Multi-speed Gearbox Synthesis Using Global Search and Non-convex Optimization. ![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. 381-398, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Mercier-Aubin, Jonathan Gaudreault, Claude-Guy Quimper |
Leveraging Constraint Scheduling: A Case Study to the Textile Industry. ![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. 334-346, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Johan Wessén, Mats Carlsson, Christian Schulte 0001 |
Scheduling of Dual-Arm Multi-tool Assembly Robots and Workspace Layout Optimization. ![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. 511-520, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Fulya Trösser, Simon de Givry, George Katsirelos |
Relaxation-Aware Heuristics for Exact Optimization in Graphical Models. ![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. 475-491, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![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. 112-129, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thiago Serra, Abhinav Kumar 0004, Srikumar Ramalingam |
Lossless Compression of Deep Neural Networks. ![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. 417-430, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kai Hoppmann, Gioni Mexi, Oleg Burdakov, Carl Johan Casselgren, Thorsten Koch |
Minimum Cycle Partition with Length Requirements. ![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. 273-282, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Eldan Cohen, Arik Senderovich, J. Christopher Beck |
An Ising Framework for Constrained Clustering on Special Purpose Hardware. ![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. 130-147, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jakob Witzig, Timo Berthold |
Conflict-Free Learning for Mixed Integer Programming. ![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. 521-530, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thiago Serra |
Enumerative Branching with Less Repetition. ![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. 399-416, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tanya Y. Tang, J. Christopher Beck |
CP and Hybrid Models for Two-Stage Batching and Scheduling. ![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. 431-446, 2020, Springer, 978-3-030-58941-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ziye Tang, Willem-Jan van Hoeve, Paul Shaw |
A Study on the Traveling Salesman Problem with a Drone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 557-564, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Hebrard, George Katsirelos |
A Hybrid Approach for Exact Coloring of Massive Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 374-390, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Salvagnin |
Some Experiments with Submodular Function Maximization via Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 488-501, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jeremias Berg, Emir Demirovic, Peter J. Stuckey |
Core-Boosted Linear Search for Incomplete MaxSAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 39-56, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Günther Cwioro, Philipp Hungerländer, Kerstin Maier, Jörg Pöcher, Christian Truden |
An Optimization Approach to the Ordering Phase of an Attended Home Delivery Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 208-224, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Danial Davarnia, John N. Hooker |
Consistency for 0-1 Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 225-240, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ka Wa Yip, Hong Xu 0003, Sven Koenig, T. K. Satish Kumar |
Quadratic Reformulation of Nonlinear Pseudo-Boolean Functions via the Constraint Composite Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 643-660, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Buser Say, Scott Sanner |
Metric Hybrid Factored Planning in Nonlinear Domains with Constraint Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 502-518, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yexiang Xue, Willem-Jan van Hoeve |
Embedding Decision Diagrams into Generative Adversarial Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 616-632, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Derval, Vincent Branders, Pierre Dupont, Pierre Schaus |
The Maximum Weighted Submatrix Coverage Problem: A CP Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 258-274, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yuji Shinano, Daniel Rehfeldt, Thorsten Koch |
Building Optimal Steiner Trees on Supercomputers by Using up to 43, 000 Cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 529-539, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaos Ploskas, Christopher R. Laughman, Arvind U. Raghunathan, Nikolaos V. Sahinidis |
Heat Exchanger Circuitry Design by Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 461-471, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martina Fischetti, Andrea Lodi 0001, Giulia Zarpellon |
Learning MILP Resolution Outcomes Before Reaching Time-Limit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 275-291, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Louis-Martin Rousseau, Kostas Stergiou 0001 (eds.) |
Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![Springer, 978-3-030-19211-2 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret |
SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 112-128, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
Constraint Programming for Dynamic Symbolic Execution of JavaScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 1-19, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gennaro Auricchio, Federico Bassetti, Stefano Gualandi, Marco Veneroni |
Computing Wasserstein Barycenters via Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 355-363, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Gondran, Laurent Moalic |
Optimality Clue for Graph Coloring Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 337-354, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Carleton Coffrin, Harsha Nagarajan, Russell Bent |
Evaluating Ising Processing Units with Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 163-181, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Danuta Sorina Chisca, Michele Lombardi 0001, Michela Milano, Barry O'Sullivan |
A Sampling-Free Anticipatory Algorithm for the Kidney Exchange Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 146-162, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yingcong Tan, Andrew Delong, Daria Terekhov |
Deep Inverse Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 540-556, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Malapert, Margaux Nattaf |
A New CP-Approach for a Parallel Machine Scheduling Problem with Time Constraints on Machine Qualifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 426-442, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Timo Berthold, Peter J. Stuckey, Jakob Witzig |
Local Rapid Learning for Integer Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 67-83, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Moli Yang, Andreas Schutt, Peter J. Stuckey |
Time Table Edge Finding with Energy Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 633-642, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pim van den Bogaerdt, Mathijs de Weerdt |
Lower Bounds for Uniform Machine Scheduling Using Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 565-580, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Blair Archibald, Fraser Dunlop, Ruth Hoffmann, Ciaran McCreesh, Patrick Prosser, James Trimble 0001 |
Sequential and Parallel Solution-Biased Search for Subgraph Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 20-38, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Coste, Andrea Lodi 0001, Gilles Pesant |
Using Cost-Based Solution Densities from TSP Relaxations to Solve Routing Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 182-191, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Waldemar Cruz, Fanghui Liu 0002, Laurent Michel |
A Counting-Based Approach to Scalable Micro-service Deployment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 192-207, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Paul J. Nicholas, Karla L. Hoffman |
Efficient Solution Methods for the Cumulative-Interference Channel Assignment Problem Using Integer Optimization and Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 443-460, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Geibinger, Florian Mischek, Nysret Musliu |
Investigating Constraint Programming for Real World Industrial Test Laboratory Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 304-319, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jakob Witzig, Timo Berthold, Stefan Heinz 0001 |
A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 84-94, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gustav Björdal, Pierre Flener, Justin Pearson |
Generating Compound Moves in Local Search by Hybridisation with Complete Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 95-111, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Frasinaru, Madalina Raschip |
An Improved Subsumption Testing Algorithm for the Optimal-Size Sorting Network Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 292-303, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kyle E. C. Booth, J. Christopher Beck |
A Constraint Programming Approach to Electric Vehicle Routing with Time Windows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 129-145, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | David Bergman, Carlos Cardonha, Saharnaz Mehrani |
Binary Decision Diagrams for Bin Packing with Minimum Color Fragmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 57-66, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thiago Serra, Arvind U. Raghunathan, David Bergman, John N. Hooker, Shingo Kobori |
Last-Mile Scheduling Under Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 519-528, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ruiwei Wang, Roland H. C. Yap |
Arc Consistency Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 599-615, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Verhaeghe, Christophe Lecoutre, Pierre Schaus |
Extending Compact-Diagram to Basic Smart Multi-Valued Variable Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 581-598, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Connor Riley, Antoine Legrain, Pascal Van Hentenryck |
Column Generation for Real-Time Ride-Sharing Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 472-487, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Burak Kocuk, Willem-Jan van Hoeve |
A Computational Comparison of Optimization Methods for the Golomb Ruler Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 409-425, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella |
Repairing Learned Controllers with Convex Optimization: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 364-373, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Begum Genc, Mohamed Siala 0002, Gilles Simonin, Barry O'Sullivan |
An Approach to Robustness in the Stable Roommates Problem and Its Comparison with the Stable Marriage Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 320-336, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Kletzander, Nysret Musliu |
Modelling and Solving the Minimum Shift Design Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 391-408, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Emir Demirovic, Peter J. Stuckey, James Bailey 0001, Jeffrey Chan, Chris Leckie, Kotagiri Ramamohanarao, Tias Guns |
An Investigation into Prediction + Optimisation for the Knapsack Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, pp. 241-257, 2019, Springer, 978-3-030-19211-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christian Hamelain, Kaourintin Le Guiban, Arpad Rimmel, Joanna Tomasik |
Bandits Help Simulated Annealing to Complete a Maximin Latin Hypercube Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 280-288, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Minh Thanh Khong, Christophe Lecoutre, Pierre Schaus, Yves Deville |
Soft-Regular with a Prefix-Size Violation Measure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 333-343, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Edward He 0001, Natashia Boland, George L. Nemhauser, Martin W. P. Savelsbergh |
A Dynamic Discretization Discovery Algorithm for the Minimum Duration Time-Dependent Shortest Path Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 289-297, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Laborie |
An Update on the Comparison of MIP, CP and Hybrid Approaches for Mixed Resource Allocation and Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 403-411, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Amadini, Graeme Gange, Peter J. Stuckey |
Propagating lex, find and replace with Dashed Strings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 18-34, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Roger Kameugne, Sévérine Betmbe Fetgo, Vincent Gingras, Yanick Ouellet, Claude-Guy Quimper |
Horizontally Elastic Not-First/Not-Last Filtering Algorithm for Cumulative Resource Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 316-332, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nysret Musliu, Andreas Schutt, Peter J. Stuckey |
Solver Independent Rotating Workforce Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 429-445, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Olivier, Andrea Lodi 0001, Gilles Pesant |
A Comparison of Optimization Methods for Multi-objective Constrained Bin Packing Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 462-476, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ferdinando Fioretto, Pascal Van Hentenryck |
Constrained-Based Differential Privacy: Releasing Optimal Power Flow Benchmarks Privately - Releasing Optimal Power Flow Benchmarks Privately. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 215-231, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ahmad Baubaid, Natashia Boland, Martin W. P. Savelsbergh |
Dealing with Demand Uncertainty in Service Network and Load Plan Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 63-71, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chang Liu 0029, Dionne M. Aleman, J. Christopher Beck |
Modelling and Solving the Senior Transportation Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 412-428, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Javad Azizi, Phebe Vayanos, Bryan Wilder, Eric Rice, Milind Tambe |
Designing Fair, Efficient, and Interpretable Policies for Prioritizing Homeless Youth for Housing Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 35-51, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yanick Ouellet, Claude-Guy Quimper |
A O(n \log ^2 n) Checker and O(n^2 \log n) Filtering Algorithm for the Energetic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 477-494, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Escamocher, Mohamed Siala 0002, Barry O'Sullivan |
From Backdoor Key to Backdoor Completability: Improving a Known Measure of Hardness for the Satisfiable CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 198-214, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Anders Nicolai Knudsen, Marco Chiarandini, Kim S. Larsen |
Heuristic Variants of A ^* Search for 3D Flight Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 361-376, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Bonami, Andrea Lodi 0001, Giulia Zarpellon |
Learning a Classification of Mixed-Integer Quadratic Programming Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 595-604, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Renaud De Landtsheer, Yoann Guyot, Gustavo Ospina, Fabian Germeau, Christophe Ponsard |
Reasoning on Sequences in Constraint-Based Local Search Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 117-134, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Galassi, Michele Lombardi 0001, Paola Mello, Michela Milano |
Model Agnostic Solution of CSPs via Deep Learning: A Preliminary Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 254-262, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Laborie |
Objective Landscapes for Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 387-402, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Damla Kizilay, Deniz Türsel Eliiyi, Pascal Van Hentenryck |
Constraint and Mathematical Programming Models for Integrated Port Container Terminal Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 344-360, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Willem Jan van Hoeve (eds.) |
Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![Springer, 978-3-319-93030-5 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Cappart, John O. R. Aoga, Pierre Schaus |
EpisodeSupport: A Global Constraint for Mining Frequent Patterns in a Long Sequence of Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 82-99, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Michael Gomes Selman, Qinru Shi, Yexiang Xue, Roosevelt García-Villacorta, Alexander S. Flecker, Carla P. Gomes |
Boosting Efficiency for Computing the Pareto Frontier on Tree Structured Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 263-279, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Emir Demirovic, Peter J. Stuckey |
Constraint Programming for High School Timetabling: A Scheduling-Based Model with Hot Starts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 135-152, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Gagnon, Gilles Pesant |
Accelerating Counting-Based Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 245-253, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ruth Hoffmann, Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser, Craig Reilly, Christine Solnon, James Trimble 0001 |
Observations from Parallelising Three Maximum Common (Connected) Subgraph Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 298-315, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Escamocher, Barry O'Sullivan |
Three-Dimensional Matching Instances Are Rich in Stable Matchings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 182-197, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kim Rioux-Paradis, Claude-Guy Quimper |
The WeightedCircuitsLmax Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 495-511, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Salvagnin |
Symmetry Breaking Inequalities from the Schreier-Sims Table. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings, pp. 521-529, 2018, Springer, 978-3-319-93030-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|