Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Fabio Furini, Ivana Ljubic, Markus Sinnl |
ILP and CP Formulations for the Lazy Bureaucrat Problem. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Michel (eds.) |
Integration of AI and OR Techniques in Constraint Programming - 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kazuya Haraguchi |
An Efficient Local Search for Partial Latin Square Extension Problem. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sascha Van Cauwelaert, Michele Lombardi 0001, Pierre Schaus |
Understanding the Potential of Propagators. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Saint-Guillain, Yves Deville, Christine Solnon |
A Multistage Stochastic Programming Approach to the Dynamic and Stochastic VRPTW. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Négrevergne, Tias Guns |
Constraint-Based Sequence Mining Using Constraint Programming. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Cyrille Dejemeppe, Pierre Schaus, Yves Deville |
Derivative-Free Optimization: Lifting Single-Objective to Multi-Objective Algorithm. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Arbelaez, Deepak Mehta 0001, Barry O'Sullivan, Luis Quesada 0001 |
A Constraint-Based Local Search for Edge Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christina N. Burt, Nir Lipovetzky, Adrian R. Pearce, Peter J. Stuckey |
Scheduling with Fixed Maintenance, Shared Resources and Nonlinear Feedrate Constraints: A Mine Planning Case Study. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Brian Kell, Ashish Sabharwal, Willem-Jan van Hoeve |
BDD-Guided Clause Generation. |
CPAIOR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Prosser |
Stable Roommates and Constraint Programming. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michele Lombardi 0001, Pierre Schaus |
Cost Impact Guided LNS. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Kosch, J. Christopher Beck |
A New MIP Model for Parallel-Batch Scheduling with Non-identical Job Sizes. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Moisan, Claude-Guy Quimper, Jonathan Gaudreault |
Parallel Depth-Bounded Discrepancy Search. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, Mark Wallace 0001 |
Modelling with Option Types in MiniZinc. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wen-Yang Ku, J. Christopher Beck |
Combining Discrete Ellipsoid-Based Search and Branch-and-Cut for Binary Quadratic Programming Problems. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sohaib Afifi, Rym Nesrine Guibadj, Aziz Moukrim |
New Lower Bounds on the Number of Vehicles for the Vehicle Routing Problem with Time Windows. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michael Morin, Claude-Guy Quimper |
The Markov Transition Constraint. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, João Marques-Silva 0001 |
A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Reale, Paolo Bellavista, Antonio Corradi, Michela Milano |
Evaluating CP Techniques to Plan Dynamic Resource Provisioning in Distributed Stream Processing. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Barahona, Steffen Hölldobler, Van-Hau Nguyen |
Representative Encodings to Translate Finite CSPs into SAT. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Fischetti, Michele Monaci, Domenico Salvagnin |
Self-splitting of Workload in Parallel Computation. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Belin, Marc Christie, Charlotte Truchet |
Interactive Design of Sustainable Cities with a Distributed Local Search Solver. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Salvagnin |
Detecting and Exploiting Permutation Structures in MIPs. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Benoist, Antoine Jeanjean, Vincent Jost |
Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paul Morris |
Dynamic Controllability and Dispatchability Relationships. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Behrouz Babaki, Tias Guns, Siegfried Nijssen |
Constrained Clustering Using Column Generation. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Seyed Hossein Hashemi Doulabi, Louis-Martin Rousseau, Gilles Pesant |
A Constraint Programming-Based Column Generation Approach for Operating Room Planning and Scheduling. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Quoc Trung Bui, Quang-Dung Pham, Yves Deville |
Solving the Quorumcast Routing Problem as a Mixed Integer Program. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gleb Belov, Natashia Boland, Martin W. P. Savelsbergh, Peter J. Stuckey |
Local Search for a Cargo Assembly Planning Problem. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel |
Sliced Table Constraints: Combining Compression and Tabular Reduction. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Simonis (eds.) |
Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christian Bessiere, Emmanuel Hebrard, Marc-André Ménard, Claude-Guy Quimper, Toby Walsh |
Buffered Resource Constraint: Algorithms and Complexity. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre |
Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Bonfietti, Michele Lombardi 0001, Michela Milano |
Disregarding Duration Uncertainty in Partial Order Schedules? Yes, We Can! |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ciaran McCreesh, Patrick Prosser |
An Exact Branch and Bound Algorithm with Symmetry Breaking for the Maximum Balanced Induced Biclique Problem. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Maxim Hoskins, Renaud Masson, Gabrielle Gauthier Melançon, Jorge E. Mendoza, Christophe Meyer, Louis-Martin Rousseau |
The PrePack Optimization Problem. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Joris Kinable, Michael A. Trick |
A Logic Based Benders' Approach to the Concrete Delivery Problem. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Willy Ugarte Rojas, Patrice Boizumault, Samir Loudni, Bruno Crémilleux, Alban Lepailleur |
Mining (Soft-) Skypatterns Using Dynamic CSP. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christian Artigues, Emmanuel Hebrard, Valentin Mayer-Eichberger, Mohamed Siala 0002, Toby Walsh |
SAT and Hybrid Models of the Car Sequencing Problem. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Barry Hurley 0001, Lars Kotthoff, Yuri Malitsky, Barry O'Sullivan |
Proteus: A Hierarchical Portfolio of Solvers and Transformations. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey Larson 0001, Mikael Johansson 0001, Mats Carlsson |
An Integrated Constraint Programming Approach to Scheduling Sports Leagues with Divisional and Round-Robin Tournaments. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cyrille Dejemeppe, Yves Deville |
Continuously Degrading Resource and Interval Dependent Activity Durations in Nuclear Medicine Patient Scheduling. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | David Bergman, André A. Ciré, Ashish Sabharwal, Horst Samulowitz, Vijay A. Saraswat, Willem Jan van Hoeve |
Parallel Combinatorial Optimization with Decision Diagrams. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yuri Malitsky, Deepak Mehta 0001, Barry O'Sullivan, Helmut Simonis |
Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hanyu Gu, Andreas Schutt, Peter J. Stuckey |
A Lagrangian Relaxation Based Forward-Backward Improvement Heuristic for Maximising the Net Present Value of Resource-Constrained Projects. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mark H. Liffiton, Ammar Malik |
Enumerating Infeasibility: Finding Multiple MUSes Quickly. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gerald Gamrath |
Improving Strong Branching by Propagation. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Schutt, Thibaut Feydy, Peter J. Stuckey |
Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marla R. Slusky, Willem Jan van Hoeve |
A Lagrangian Relaxation for Golomb Rulers. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | John N. Hooker |
Decision Diagrams and Dynamic Programming. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Abdelilah Sakti, Yann-Gaël Guéhéneuc, Gilles Pesant |
Constraint-Based Fitness Function for Search-Based Software Testing. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Mourtos |
Tight LP-Relaxations of Overlapping Global Cardinality Constraints. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu |
A Synchronized Sweep Algorithm for the k-dimensional cumulative Constraint. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Salvagnin |
Orbital Shrinking: A New Tool for Hybrid MIP/CP Methods. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Achref El Mouelhi, Philippe Jégou, Cyril Terrioux, Bruno Zanuttini |
Some New Tractable Classes of CSPs and Their Relations with Backtracking Algorithms. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Duc-Cuong Dang, Racha El-Hajj, Aziz Moukrim |
A Branch-and-Cut Algorithm for Solving the Team Orienteering Problem. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ambros M. Gleixner, Stefan Weltge |
Learning and Propagating Lagrangian Variable Bounds for Mixed-Integer Nonlinear Programming. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eduardo Álvarez-Miranda, Ivana Ljubic, Petra Mutzel |
The Rooted Maximum Node-Weight Connected Subgraph Problem. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hermann Schichl, Arnold Neumaier, Mihály Csaba Markót, Ferenc Domes |
On Solving Mixed-Integer Constraint Satisfaction Problems with Unbounded Variables. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peter Y. Zhang, David A. Romero, J. Christopher Beck, Cristina H. Amon |
Solving Wind Farm Layout Optimization with Mixed Integer Programming and Constraint Programming. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marijn Heule, Matti Järvisalo, Armin Biere |
Revisiting Hyper Binary Resolution. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Carla P. Gomes, Meinolf Sellmann (eds.) |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Udara Weerakoon, Vicki Allan |
Coalition Formation for Servicing Dynamic Motion Tasks. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peter J. Stuckey, Guido Tack |
MiniZinc with Functions. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | André A. Ciré, Elvin Coban, John N. Hooker |
Mixed Integer Programming vs. Logic-Based Benders Decomposition for Planning and Scheduling. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nina Narodytska, Toby Walsh |
An Adaptive Model Restarts Heuristic. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Axel Nyberg, Tapio Westerlund, Andreas Lundell |
Improved Discrete Reformulations for the Quadratic Assignment Problem. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Elena Kelareva, Kevin Tierney, Philip Kilby |
CP Methods for Scheduling and Routing with Time-Dependent Task Costs. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Timo Berthold, Domenico Salvagnin |
Cloud Branching. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Ansótegui, Joel Gabàs |
Solving (Weighted) Partial MaxSAT with ILP. |
CPAIOR |
2013 |
DBLP BibTeX RDF |
|
1 | Jiadong Wang, Ted K. Ralphs |
Computational Experience with Hypergraph-Based Methods for Automatic Decomposition in Discrete Optimization. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Brian Kell, Willem Jan van Hoeve |
An MDD Approach to Multidimensional Bin Packing. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro |
An Empirical Evaluation of Portfolios Approaches for Solving CSPs. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Laura Climent, Richard J. Wallace, Miguel A. Salido, Federico Barber |
Modeling Robustness in CSPs as Weighted CSPs. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Heinz 0001, Wen-Yang Ku, J. Christopher Beck |
Recent Improvements Using Constraint Integer Programming for Resource Allocation and Scheduling. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Achterberg, Ashish Sabharwal, Horst Samulowitz |
Stronger Inference through Implied Literals from Conflicts and Knapsack Covers. |
CPAIOR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tommy Färnqvist |
Constraint Optimization Problems and Bounded Tree-Width Revisited. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Schutt, Geoffrey Chu, Peter J. Stuckey, Mark G. Wallace 0001 |
Maximising the Net Present Value for Resource-Constrained Project Scheduling. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yang Wang 0030, Zhipeng Lü, Fred W. Glover, Jin-Kao Hao |
A Multilevel Algorithm for Large Unconstrained Binary Quadratic Optimization. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David Bergman, John N. Hooker |
Graph Coloring Facets from All-Different Systems. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Bonfietti, Michele Lombardi 0001, Luca Benini, Michela Milano |
Global Cyclic Cumulative Constraint. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Florence Massen, Yves Deville, Pascal Van Hentenryck |
Pheromone-Based Heuristic Column Generation for Vehicle Routing Problems with Black Box Feasibility. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Gange, Peter J. Stuckey |
Explaining Propagators for s-DNNF Circuits. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Pralet, Gérard Verfaillie |
Combining Static and Dynamic Models for Boosting Forward Planning. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Quang-Dung Pham, Yves Deville |
Solving the Longest Simple Path Problem with Constraint-Based Techniques. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Chabert, Sophie Demassey |
The Conjunction of Interval Among Constraints. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Renaud Masson, Fabien Lehuédé, Olivier Péton |
Simple Temporal Problems in Route Scheduling for the Dial-a-Ride Problem with Transfers. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Billaut, Emmanuel Hebrard, Pierre Lopez |
Complete Characterization of Near-Optimal Sequences for the Two-Machine Flow Shop Scheduling Problem. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hadrien Cambazard, Deepak Mehta 0001, Barry O'Sullivan, Luis Quesada 0001 |
A Computational Geometry-Based Local Search Algorithm for Planar Location Problems. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Heinz 0001, J. Christopher Beck |
Reconsidering Mixed Integer Programming and MIP-Based Hybrids for Scheduling. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Downing, Thibaut Feydy, Peter J. Stuckey |
Explaining Flow-Based Propagation. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Rendl, Matthias Prandtstetter, Gerhard Hiermann, Jakob Puchinger, Günther R. Raidl |
Hybrid Heuristics for Multimodal Homecare Scheduling. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Sabharwal, Horst Samulowitz, Chandra Reddy |
Guiding Combinatorial Optimization with UCT. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | André A. Ciré, Elvin Coban, Willem Jan van Hoeve |
Flow-Based Combinatorial Chance Constraints. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Fontaine, Laurent Michel |
A High Level Language for Solver Independent Model Manipulation and Generation of Hybrid Solvers. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aníbal Ponte, Luís Paquete, José Rui Figueira |
On Beam Search for Multicriteria Combinatorial Optimization Problems. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Michel, Pascal Van Hentenryck |
Activity-Based Search for Black-Box Constraint Programming Solvers. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ben Simon, Carleton Coffrin, Pascal Van Hentenryck |
Randomized Adaptive Vehicle Decomposition for Large-Scale Power Restoration. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yuri Malitsky, Meinolf Sellmann |
Instance-Specific Algorithm Configuration as a Method for Non-Model-Based Portfolio Generation. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|