CPAIOR B

39 papers

YearTitle / Authors
2010A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling.
Timo Berthold, Stefan Heinz, Marco E. Lübbecke, Rolf H. Möhring, Jens Schulz
2010A Constraint Programming Approach for the Service Consolidation Problem.
Kanika Dhyani, Stefano Gualandi, Paolo Cremonesi
2010A Relax-and-Cut Framework for Gomory's Mixed-Integer Cuts.
Matteo Fischetti, Domenico Salvagnin
2010A SAT Encoding for Multi-dimensional Packing Problems.
Stéphane Grandcolas, Cédric Pinto
2010An In-Out Approach to Disjunctive Optimization.
Matteo Fischetti, Domenico Salvagnin
2010Automated Configuration of Mixed Integer Programming Solvers.
Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown
2010Automatically Exploiting Subproblem Equivalence in Constraint Programming.
Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey
2010Boosting Set Constraint Propagation for Network Design.
Justin Yip, Pascal Van Hentenryck, Carmen Gervet
2010Challenges for CPAIOR in Computational Sustainability.
Carla P. Gomes
2010Characterization and Automation of Matching-Based Neighborhoods.
Thierry Benoist
2010Consistency Check for the Bin Packing Constraint Revisited.
Julien Dupuis, Pierre Schaus, Yves Deville
2010Constraint Programming and Combinatorial Optimisation in Numberjack.
Emmanuel Hebrard, Eoin O'Mahony, Barry O'Sullivan
2010Constraint Programming with Arbitrarily Large Integer Variables.
Anna Moss
2010Constraint Reasoning with Uncertain Data Using CDF-Intervals.
Aya Saad, Carmen Gervet, Slim Abdennadher
2010Constraint-Based Local Search for Constrained Optimum Paths Problems.
Pham Quang Dung, Yves Deville, Pascal Van Hentenryck
2010Hybrid Methods for the Multileaf Collimator Sequencing Problem.
Hadrien Cambazard, Eoin O'Mahony, Barry O'Sullivan
2010Improving the Held and Karp Approach with Constraint Programming.
Pascal Benchimol, Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher, Willem Jan van Hoeve
2010Integrated Maintenance Scheduling for Semiconductor Manufacturing.
Andrew J. Davenport
2010Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings
Andrea Lodi, Michela Milano, Paolo Toth
2010Job Shop Scheduling with Setup Times and Maximal Time-Lags: A Simple Constraint Programming Approach.
Diarmuid Grimes, Emmanuel Hebrard
2010Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving.
Peter J. Stuckey
2010Massively Parallel Constraint Programming for Supercomputers: Challenges and Initial Results.
Feng Xie, Andrew J. Davenport
2010Matrix Interdiction Problem.
Shiva Prasad Kasiviswanathan, Feng Pan
2010More Robust Counting-Based Search Heuristics with Alldifferent Constraints.
Alessandro Zanarini, Gilles Pesant
2010On Matrices, Automata, and Double Counting.
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson
2010On the Design of the Next Generation Access Networks.
Stefano Gualandi, Federico Malucelli, Domenico L. Sozzi
2010Rapid Learning for Binary Programs.
Timo Berthold, Thibaut Feydy, Peter J. Stuckey
2010Revisiting the Soft Global Cardinality Constraint.
Pierre Schaus, Pascal Van Hentenryck, Alessandro Zanarini
2010Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios.
Zeynep Kiziltan, Jacopo Mauro
2010Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition.
Elvin Coban, John N. Hooker
2010Solving Connected Subgraph Problems in Wildlife Conservation.
Bistra Dilkina, Carla P. Gomes
2010Stochastic Constraint Programming by Neuroevolution with Filtering.
Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich
2010Strategic Planning for Disaster Recovery with Stochastic Last Mile Distribution.
Pascal Van Hentenryck, Russell Bent, Carleton Coffrin
2010Strong Combination of Ant Colony Optimization with Constraint Programming Optimization.
Madjid Khichane, Patrick Albert, Christine Solnon
2010The Increasing Nvalue Constraint.
Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, Thierry Petit
2010The Weighted Spanning Tree Constraint Revisited.
Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher, Willem Jan van Hoeve
2010Towards a MIP-Cut Metascheme.
Matteo Fischetti
2010Upper Bounds on the Number of Solutions of Binary Integer Programs.
Siddhartha Jain, Serdar Kadioglu, Meinolf Sellmann
2010Vehicle Routing for Food Rescue Programs: A Comparison of Different Approaches.
Canan Gunes, Willem Jan van Hoeve, Sridhar R. Tayur