| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael Römer, André A. Ciré, Louis-Martin Rousseau |
A Local Search Framework for Compiling Relaxed Decision Diagrams.  |
CPAIOR  |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Thomas 0005, Pierre Schaus |
Revisiting the Self-adaptive Large Neighborhood Search. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Guilherme Alex Derenievicz, Fabiano Silva |
Epiphytic Trees: Relational Consistency Applied to Global Optimization Problems. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Vourchteang Sea, Ayumi Sugiyama, Toshiharu Sugawara |
Frequency-Based Multi-agent Patrolling Model and Its Area Partitioning Solution Method for Balanced Workload. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Junwen Bai, Sebastian Ament, Guillaume Perez, John M. Gregoire, Carla P. Gomes |
An Efficient Relaxed Projection Method for Constrained Non-negative Matrix Factorization with Application to the Phase-Mapping Problem in Materials Science. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Fischetti, Domenico Salvagnin |
Chasing First Queens by Integer Programming. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Åstrand, Mikael Johansson 0001, Alessandro Zanarini |
Fleet Scheduling in Underground Mines Using Constraint Programming. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ondrej Benedikt, Premysl Sucha, István Módos, Marek Vlk, Zdenek Hanzálek |
Energy-Aware Production Scheduling with Power-Saving Modes. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Allegra De Filippo, Michele Lombardi 0001, Michela Milano |
Off-Line and On-Line Optimization Under Uncertainty: A Case Study on Energy Management. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajar Ait Addi, Christian Bessiere, Redouane Ezzahir, Nadjib Lazaar |
Time-Bounded Query Generator for Constraint Acquisition. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Xu 0003, Kexuan Sun 0002, Sven Koenig, T. K. Satish Kumar |
A Warning Propagation-Based Linear-Time-and-Space Algorithm for the Minimum Vertex Cover Problem on Giant Graphs. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhijiang Ye, Buser Say, Scott Sanner |
Symbolic Bucket Elimination for Piecewise Continuous Constrained Optimization. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Oddi, Riccardo Rasconi |
Greedy Randomized Search for Scalable Compilation of Quantum Circuits. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Deudon, Pierre Cournut, Alexandre Lacoste, Yossiri Adulyasak, Louis-Martin Rousseau |
Learning Heuristics for the TSP by Policy Gradient. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei P. Sidorov, Alexey R. Faizliev, Alexander A. Gudkov, Sergei V. Mironov |
Algorithms for Sparse k-Monotone Regression. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ole Kröger, Carleton Coffrin, Hassan L. Hijazi, Harsha Nagarajan |
Juniper: An Open-Source Nonlinear Branch-and-Bound Solver in Julia. |
CPAIOR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph D. Scott, Pierre Flener, Justin Pearson, Christian Schulte 0001 |
Design and Implementation of Bounded-Length Sequence Variables. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Natashia Boland, Mike Hewitt, Duc Minh Vu, Martin W. P. Savelsbergh |
Solving the Traveling Salesman Problem with Time Windows Through Dynamically Generated Time-Expanded Networks. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Zakaria Chihani, Bruno Marre, François Bobot, Sébastien Bardin |
Sharpening Constraint Programming Approaches for Bit-Vector Theory. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mateo Díaz, Ronan Le Bras 0001, Carla P. Gomes |
In Search of Balance: The Challenge of Generating Balanced Latin Rectangles. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Emily Speakman, Han Yu, Jon Lee 0001 |
Experimental Validation of Volume-Based Comparison for Double-McCormick Relaxations. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirco Gelain, Maria Silvia Pini, Francesca Rossi 0001, Kristen Brent Venable, Toby Walsh |
A Local Search Approach for Incomplete Soft Constraint Problems: Experimental Results on Meeting Scheduling Problems. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob Witzig, Timo Berthold, Stefan Heinz 0001 |
Experiments with Conflict Analysis in Mixed Integer Programming. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Murodzhon Akhmedov, Alexander LeNail, Francesco Bertoni, Ivo Kwee, Ernest Fraenkel, Roberto Montemanni |
A Fast Prize-Collecting Steiner Forest Algorithm for Functional Analyses in Biological Networks. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Xu 0003, T. K. Satish Kumar, Sven Koenig |
The Nemhauser-Trotter Reduction and Lifted Message Passing for the Weighted CSP. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Maël Minot, Samba Ndojh Ndiaye, Christine Solnon |
Combining CP and ILP in a Tree Decomposition of Bounded Height for the Sum Colouring Problem. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Zanarini, Jan Poland |
A Hybrid Approach for Stator Winding Design Optimization. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Miao Yu 0003, Viswanath Nagarajan, Siqian Shen |
Minimum Makespan Vehicle Routing Problem with Compatibility Constraints. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey |
Minimizing Landscape Resistance for Habitat Conservation. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Hebrard, Mohamed Siala 0002 |
Explanation-Based Weighted Degree. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Zanarini |
Optimal Stock Sizing in a Cutting Stock Problem with Stochastic Demands. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Salvagnin, Michele Lombardi 0001 (eds.) |
Integration of AI and OR Techniques in Constraint Programming - 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Omid Sanei Bajgiran, André A. Ciré, Louis-Martin Rousseau |
A First Look at Picking Dual Variables for Maximizing Reduced Cost Fixing. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Kletzander, Nysret Musliu |
A Multi-stage Simulated Annealing Algorithm for the Torpedo Scheduling Problem. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Leo, Guido Tack |
Debugging Unsatisfiable Constraint Models. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Kruber, Marco E. Lübbecke, Axel Parmentier |
Learning When to Use a Decomposition. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Delaite, Gilles Pesant |
Counting Weighted Spanning Trees to Solve Constrained Minimum Spanning Tree Problems. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | David Bergman, André Augusto Ciré |
On Finding the Optimal BDD Relaxation. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kiriakos-Simon Mountakis, Tomas Klos, Cees Witteveen |
Dynamic Temporal Decoupling. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Beldiceanu, Mats Carlsson, Alban Derrien, Charles Prud'homme, Andreas Schutt, Peter J. Stuckey |
Range-Consistent Forbidden Regions of Allen's Relations. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Perez, Jean-Charles Régin |
MDDs are Efficient Modeling Tools: An Application to Some Statistical Constraints. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinasétan Ratheil Houndji, Pierre Schaus, Mahouton Norbert Hounkonnou, Laurence A. Wolsey |
The Weighted Arborescence Constraint. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Abseher, Nysret Musliu, Stefan Woltran |
htd - A Free, Open-Source Framework for (Customized) Tree Decompositions and Beyond. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Quentin Cappart, Pierre Schaus |
Rescheduling Railway Traffic on Real Time Situations Using Time-Interval Variables. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sicco Verwer, Yingqian Zhang 0001 |
Learning Decision Trees with Flexible Constraints and Objectives Using Integer Optimization. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | David Hemmi, Guido Tack, Mark Wallace 0001 |
Scenario-Based Learning for Stochastic Combinatorial Optimisation. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Junwen Bai, Johan Bjorck, Yexiang Xue, Santosh K. Suram, John M. Gregoire, Carla P. Gomes |
Relaxation Methods for Constrained Matrix Factorization Problems: Solving the Phase Mapping Problem in Materials Discovery. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kiriakos-Simon Mountakis, Tomas Klos, Cees Witteveen |
Stochastic Task Networks - Trading Performance for Stability. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Wahbi, Diarmuid Grimes, Deepak Mehta 0001, Kenneth N. Brown, Barry O'Sullivan |
A Distributed Optimization Method for the Geographically Distributed Data Centres Problem. |
CPAIOR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Aliza R. Heching, John N. Hooker |
Scheduling Home Hospice Care with Logic-Based Benders Decomposition. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis |
Time-Series Constraints: Improvements and Application in CP and MIP Contexts. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey |
Weighted Spanning Tree Constraint with Explanations. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus, George Katsirelos |
Finding a Collection of MUSes Incrementally. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Amina Kemmar, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Thierry Charnois |
A Global Constraint for Mining Sequential Patterns with GAP Constraint. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Álvarez-Miranda, Martin Luipersbeck, Markus Sinnl |
Optimal Upgrading Schemes for Effective Shortest Paths in Networks. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Joris Kinable, Willem-Jan van Hoeve, Stephen F. Smith |
Optimization Models for a Real-World Snow Plow Routing Problem. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Xu 0003, T. K. Satish Kumar, Sven Koenig |
A New Solver for the Minimum Weighted Vertex Cover Problem. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Joris Kinable |
A Reservoir Balancing Constraint with Applications to Bike-Sharing. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Siala 0002, Barry O'Sullivan |
Revisiting Two-Sided Stability Constraints. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Tasseff, Russell Bent, Pascal Van Hentenryck |
Optimal Flood Mitigation over Flood Propagation Approximations. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Allegra De Filippo, Michele Lombardi 0001, Michela Milano |
Non-linear Optimization of Business Models in the Electricity Market. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Harabor, Peter J. Stuckey |
Rail Capacity Modelling with Constraint Programming. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenxi Wang, Harald Søndergaard, Peter J. Stuckey |
A Bit-Vector Solver with Word-Level Propagation. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Eliott Roynette, Bertrand Cabon, Cédric Pralet, Vincent Vidal 0001 |
Designing Spacecraft Command Loops Using Two-Dimension Vehicle Routing. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Perez, Jean-Charles Régin |
Constructions and In-Place Operations for MDDs Based Constraints. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Salvagnin |
Detecting Semantic Groups in MIP Models. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Madi-Wamba, Nicolas Beldiceanu |
The TaskIntersection Constraint. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Pesant |
Balancing Nursing Workload by Constraint Programming. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Fontaine, Laurent D. Michel, Pascal Van Hentenryck |
Parallel Composition of Scheduling Solvers. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey Chu, Graeme Gange, Peter J. Stuckey |
Lagrangian Decomposition via Sub-problem Search. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Martinez, François Fages, Abder Aggoun |
A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdelilah Sakti, Lawrence Zeidner, Tarik Hadzic, Brian St. Rock, Giusi Quartarone |
Constraint Programming Approach for Spatial Packaging Problem. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nir Drucker, Michal Penn, Ofer Strichman |
Cyclic Routing of Unmanned Aerial Vehicles. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thorsten Ehlers, Peter J. Stuckey |
Parallelizing Constraint Programming with Learning. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | David Bergman, André A. Ciré |
Decomposition Based on Decision Diagrams. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyle E. C. Booth, Tony T. Tran, J. Christopher Beck |
Logic-Based Decomposition Methods for the Travelling Purchaser Problem. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Dejemeppe, Olivier Devolder, Victor Lecomte, Pierre Schaus |
Forward-Checking Filtering for Nested Cardinality Constraints: Application to an Energy Cost-Aware Production Planning Problem for Tissue Manufacturing. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Claude-Guy Quimper (eds.) |
Integration of AI and OR Techniques in Constraint Programming - 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ignasi Abío, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey |
On CNF Encodings of Decision Diagrams. |
CPAIOR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Gay, Renaud Hartert, Pierre Schaus |
Time-Table Disjunctive Reasoning for the Cumulative Constraint. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilankaikone Senthooran, Mark Wallace 0001, Leslie De Koninck |
Freight Train Threading with Different Algorithms. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | David Bergman, Arvind U. Raghunathan |
A Benders Approach to the Minimum Chordal Completion Problem. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Merav Aharoni, Odellia Boni, Ari Freund 0001, Lidor Goren, Wesam Ibraheem, Tamir Segev |
Rectangle Placement for VLSI Testing. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Carmen Gervet, Sylvie Galichet |
Uncertain Data Dependency Constraints in Matrix Models. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Miquel Bofill, Marc Garcia, Josep Suy, Mateu Villaret |
MaxSAT-Based Scheduling of B2B Meetings. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Wen-Yang Ku, J. Christopher Beck |
Combining Constraint Propagation and Discrete Ellipsoid-Based Search to Solve the Exact Quadratic Knapsack Problem. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | BoonPing Lim, Menkes van den Briel, Sylvie Thiébaux, Russell Bent, Scott Backhaus |
Large Neighborhood Search for Energy Aware Meeting Scheduling in Smart Buildings. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Bonfietti, Michele Lombardi 0001, Michela Milano |
Embedding Decision Trees and Random Forests in Constraint Programming. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Vilím, Philippe Laborie, Paul Shaw |
Failure-Directed Search for Constraint-Based Scheduling. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Md. Masbaul Alam Polash, M. A. Hakim Newton, Abdul Sattar 0001 |
Constraint-Based Local Search for Golomb Rulers. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Veksler, Ofer Strichman |
Learning General Constraints in CSP. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph D. Scott, Pierre Flener, Justin Pearson |
Constraint Solving on Bounded String Variables. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Saikko, Brandon M. Malone, Matti Järvisalo |
MaxSAT-Based Cutting Planes for Learning Graphical Models. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerald Gamrath, Anna Melchiori, Timo Berthold, Ambros M. Gleixner, Domenico Salvagnin |
Branching on Multi-aggregated Variables. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Hendel |
Enhancing MIP Branching Decisions by Using the Sample Variance of Pseudo Costs. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre |
The Smart Table Constraint. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Pesant, Gregory Rix, Louis-Martin Rousseau |
A Comparative Study of MIP and CP Formulations for the B2B Scheduling Optimization Problem. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Penélope Aguiar-Melgarejo, Philippe Laborie, Christine Solnon |
A Time-Dependent No-Overlap Constraint: Application to Urban Delivery Problems. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Polyakovskiy, Frank Neumann 0001 |
Packing While Traveling: Mixed Integer Programming for a Class of Nonlinear Knapsack Problems. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey Chu, Peter J. Stuckey |
Learning Value Heuristics for Constraint Programming. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license