Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Nicolas Isoart, Jean-Charles Régin |
Adaptive CP-Based Lagrangian Relaxation for TSP Solving. |
CPAIOR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Yves Bouchet, Stefano Gualandi, Louis-Martin Rousseau |
Primal Heuristics for Wasserstein Barycenters. |
CPAIOR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Contaldo, Patrick Trentin, Roberto Sebastiani |
From MiniZinc to Optimization Modulo Theories, and Back. |
CPAIOR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Richard Hoshino, Irene Fabris |
Optimizing Student Course Preferences in School Timetabling. |
CPAIOR |
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. |
CPAIOR |
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. |
CPAIOR |
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. |
CPAIOR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Dalmeijer, Pascal Van Hentenryck |
Transfer-Expanded Graphs for On-Demand Multimodal Transit Systems. |
CPAIOR |
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. |
CPAIOR |
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. |
CPAIOR |
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. |
CPAIOR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Volte, Eric Bourreau, Rodolphe Giroudeau, Olivier Naud |
Exact Method Approaches for the Differential Harvest Problem. |
CPAIOR |
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 |
CPAIOR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Lemos, Pedro T. Monteiro 0001, Inês Lynce |
Minimal Perturbation in University Timetabling with Maximum Satisfiability. |
CPAIOR |
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. |
CPAIOR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Pokutta |
Restarting Algorithms: Sometimes There Is Free Lunch. |
CPAIOR |
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. |
CPAIOR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Mercier-Aubin, Jonathan Gaudreault, Claude-Guy Quimper |
Leveraging Constraint Scheduling: A Case Study to the Textile Industry. |
CPAIOR |
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. |
CPAIOR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Fulya Trösser, Simon de Givry, George Katsirelos |
Relaxation-Aware Heuristics for Exact Optimization in Graphical Models. |
CPAIOR |
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. |
CPAIOR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thiago Serra, Abhinav Kumar 0004, Srikumar Ramalingam |
Lossless Compression of Deep Neural Networks. |
CPAIOR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kai Hoppmann, Gioni Mexi, Oleg Burdakov, Carl Johan Casselgren, Thorsten Koch |
Minimum Cycle Partition with Length Requirements. |
CPAIOR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Eldan Cohen, Arik Senderovich, J. Christopher Beck |
An Ising Framework for Constrained Clustering on Special Purpose Hardware. |
CPAIOR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jakob Witzig, Timo Berthold |
Conflict-Free Learning for Mixed Integer Programming. |
CPAIOR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thiago Serra |
Enumerative Branching with Less Repetition. |
CPAIOR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tanya Y. Tang, J. Christopher Beck |
CP and Hybrid Models for Two-Stage Batching and Scheduling. |
CPAIOR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ziye Tang, Willem-Jan van Hoeve, Paul Shaw |
A Study on the Traveling Salesman Problem with a Drone. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Hebrard, George Katsirelos |
A Hybrid Approach for Exact Coloring of Massive Graphs. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Salvagnin |
Some Experiments with Submodular Function Maximization via Integer Programming. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jeremias Berg, Emir Demirovic, Peter J. Stuckey |
Core-Boosted Linear Search for Incomplete MaxSAT. |
CPAIOR |
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. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Danial Davarnia, John N. Hooker |
Consistency for 0-1 Programming. |
CPAIOR |
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. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Buser Say, Scott Sanner |
Metric Hybrid Factored Planning in Nonlinear Domains with Constraint Generation. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yexiang Xue, Willem-Jan van Hoeve |
Embedding Decision Diagrams into Generative Adversarial Networks. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Derval, Vincent Branders, Pierre Dupont, Pierre Schaus |
The Maximum Weighted Submatrix Coverage Problem: A CP Approach. |
CPAIOR |
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. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaos Ploskas, Christopher R. Laughman, Arvind U. Raghunathan, Nikolaos V. Sahinidis |
Heat Exchanger Circuitry Design by Decision Diagrams. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martina Fischetti, Andrea Lodi 0001, Giulia Zarpellon |
Learning MILP Resolution Outcomes Before Reaching Time-Limit. |
CPAIOR |
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 |
CPAIOR |
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. |
CPAIOR |
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. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gennaro Auricchio, Federico Bassetti, Stefano Gualandi, Marco Veneroni |
Computing Wasserstein Barycenters via Linear Programming. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Gondran, Laurent Moalic |
Optimality Clue for Graph Coloring Problem. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Carleton Coffrin, Harsha Nagarajan, Russell Bent |
Evaluating Ising Processing Units with Integer Programming. |
CPAIOR |
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. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yingcong Tan, Andrew Delong, Daria Terekhov |
Deep Inverse Optimization. |
CPAIOR |
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. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Timo Berthold, Peter J. Stuckey, Jakob Witzig |
Local Rapid Learning for Integer Programs. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Moli Yang, Andreas Schutt, Peter J. Stuckey |
Time Table Edge Finding with Energy Variables. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pim van den Bogaerdt, Mathijs de Weerdt |
Lower Bounds for Uniform Machine Scheduling Using Decision Diagrams. |
CPAIOR |
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. |
CPAIOR |
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. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Waldemar Cruz, Fanghui Liu 0002, Laurent Michel |
A Counting-Based Approach to Scalable Micro-service Deployment. |
CPAIOR |
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. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Geibinger, Florian Mischek, Nysret Musliu |
Investigating Constraint Programming for Real World Industrial Test Laboratory Scheduling. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jakob Witzig, Timo Berthold, Stefan Heinz 0001 |
A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gustav Björdal, Pierre Flener, Justin Pearson |
Generating Compound Moves in Local Search by Hybridisation with Complete Search. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Frasinaru, Madalina Raschip |
An Improved Subsumption Testing Algorithm for the Optimal-Size Sorting Network Problem. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kyle E. C. Booth, J. Christopher Beck |
A Constraint Programming Approach to Electric Vehicle Routing with Time Windows. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | David Bergman, Carlos Cardonha, Saharnaz Mehrani |
Binary Decision Diagrams for Bin Packing with Minimum Color Fragmentation. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thiago Serra, Arvind U. Raghunathan, David Bergman, John N. Hooker, Shingo Kobori |
Last-Mile Scheduling Under Uncertainty. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ruiwei Wang, Roland H. C. Yap |
Arc Consistency Revisited. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Verhaeghe, Christophe Lecoutre, Pierre Schaus |
Extending Compact-Diagram to Basic Smart Multi-Valued Variable Diagrams. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Connor Riley, Antoine Legrain, Pascal Van Hentenryck |
Column Generation for Real-Time Ride-Sharing Operations. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Burak Kocuk, Willem-Jan van Hoeve |
A Computational Comparison of Optimization Methods for the Golomb Ruler Problem. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella |
Repairing Learned Controllers with Convex Optimization: A Case Study. |
CPAIOR |
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. |
CPAIOR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Kletzander, Nysret Musliu |
Modelling and Solving the Minimum Shift Design Problem. |
CPAIOR |
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. |
CPAIOR |
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. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Minh Thanh Khong, Christophe Lecoutre, Pierre Schaus, Yves Deville |
Soft-Regular with a Prefix-Size Violation Measure. |
CPAIOR |
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. |
CPAIOR |
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. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Amadini, Graeme Gange, Peter J. Stuckey |
Propagating lex, find and replace with Dashed Strings. |
CPAIOR |
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. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nysret Musliu, Andreas Schutt, Peter J. Stuckey |
Solver Independent Rotating Workforce Scheduling. |
CPAIOR |
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. |
CPAIOR |
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. |
CPAIOR |
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. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chang Liu 0029, Dionne M. Aleman, J. Christopher Beck |
Modelling and Solving the Senior Transportation Problem. |
CPAIOR |
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. |
CPAIOR |
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. |
CPAIOR |
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. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Anders Nicolai Knudsen, Marco Chiarandini, Kim S. Larsen |
Heuristic Variants of A ^* Search for 3D Flight Planning. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Bonami, Andrea Lodi 0001, Giulia Zarpellon |
Learning a Classification of Mixed-Integer Quadratic Programming Problems. |
CPAIOR |
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. |
CPAIOR |
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. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Laborie |
Objective Landscapes for Constraint Programming. |
CPAIOR |
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. |
CPAIOR |
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 |
CPAIOR |
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. |
CPAIOR |
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. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Emir Demirovic, Peter J. Stuckey |
Constraint Programming for High School Timetabling: A Scheduling-Based Model with Hot Starts. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Gagnon, Gilles Pesant |
Accelerating Counting-Based Search. |
CPAIOR |
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. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Escamocher, Barry O'Sullivan |
Three-Dimensional Matching Instances Are Rich in Stable Matchings. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kim Rioux-Paradis, Claude-Guy Quimper |
The WeightedCircuitsLmax Constraint. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Salvagnin |
Symmetry Breaking Inequalities from the Schreier-Sims Table. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|