CPAIOR B

44 papers

YearTitle / Authors
200830 Years of Constraint Programming.
Pascal Van Hentenryck
2008A Combinatorial Auction Framework for Solving Decentralized Scheduling Problems (Extended Abstract).
Hoong Chuin Lau, Kong Wei Lye, Viet Bang Nguyen
2008A Hybrid Approach for Solving Shift-Selection and Task-Sequencing Problems.
Ada Barlatt, Amy Mainville Cohn, Oleg Yu. Gusikhin
2008A Hybrid Constraint Programming / Local Search Approach to the Job-Shop Scheduling Problem.
Jean-Paul Watson, J. Christopher Beck
2008A Novel Approach For Detecting Symmetries in CSP Models.
Christopher Mears, Maria J. García de la Banda, Mark Wallace, Bart Demoen
2008A Parallel Macro Partitioning Framework for Solving Mixed Integer Programs.
Mahdi Namazifar, Andrew J. Miller
2008A Tabu Search Method for Interval Constraints.
Charlotte Truchet, Marc Christie, Jean-Marie Normand
2008Airline Scheduling: Accomplishments, Opportunities and Challenges.
Cynthia Barnhart
2008Amsaa: A Multistep Anticipatory Algorithm for Online Stochastic Combinatorial Optimization.
Luc Mercier, Pascal Van Hentenryck
2008CP with ACO.
Madjid Khichane, Patrick Albert, Christine Solnon
2008Connections in Networks: A Hybrid Approach.
Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal
2008Constraint Integer Programming: A New Approach to Integrate CP and MIP.
Tobias Achterberg, Timo Berthold, Thorsten Koch, Kati Wolter
2008Constraint Optimization and Abstraction for Embedded Intelligent Systems.
Paul Maier, Martin Sachenbacher
2008Cost Propagation - Numerical Propagation for Optimization Problems.
Birgit Grohe, Dag Wedelin
2008Counting Solutions of Integer Programs Using Unrestricted Subtree Detection.
Tobias Achterberg, Stefan Heinz, Thorsten Koch
2008Counting Solutions of Knapsack Constraints.
Gilles Pesant, Claude-Guy Quimper
2008Efficient Haplotype Inference with Combined CP and OR Techniques.
Ana Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira
2008Fast and Scalable Domino Portrait Generation.
Hadrien Cambazard, John Horan, Eoin O'Mahony, Barry O'Sullivan
2008Filtering Atmost1 on Pairs of Set Variables.
Willem Jan van Hoeve, Ashish Sabharwal
2008Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs.
Ivan Heckman, J. Christopher Beck
2008From High-Level Model to Branch-and-Price Solution in G12.
Jakob Puchinger, Peter J. Stuckey, Mark Wallace, Sebastian Brand
2008Gap Reduction Techniques for Online Stochastic Project Scheduling.
Grégoire Dooms, Pascal Van Hentenryck
2008Global Propagation of Practicability Constraints.
Thierry Petit, Emmanuel Poder
2008Guiding Stochastic Search by Dynamic Learning of the Problem Topography.
Yehuda Naveh
2008Hybrid Variants for Iterative Flattening Search.
Angelo Oddi, Amedeo Cesta, Nicola Policella, Stephen F. Smith
2008Integrating Symmetry, Dominance, and Bound-and-Bound in a Multiple Knapsack Solver.
Alex S. Fukunaga
2008Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, Paris, France, May 20-23, 2008, Proceedings
Laurent Perron, Michael A. Trick
2008Integration of CP and Compilation Techniques for Instruction Sequence Test Generation.
Boris Gutkovich
2008Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting.
Lukas Kroc, Ashish Sabharwal, Bart Selman
2008Mobility Allowance Shuttle Transit (MAST) Services: MIP Formulation and Strengthening with Logic Constraints.
Luca Quadrifoglio, Maged M. Dessouky, Fernando Ordóñez
2008Multi-stage Benders Decomposition for Optimizing Multicore Architectures.
Luca Benini, Michele Lombardi, Marco Mantovani, Michela Milano, Martino Ruggiero
2008New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles.
Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder
2008Optimal Deployment of Eventually-Serializable Data Services.
Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck
2008Propagating Separable Equalities in an MDD Store.
Tarik Hadzic, John N. Hooker, Peter Tiedemann
2008Rapidly Solving an Online Sequence of Maximum Flow Problems with Extensions to Computing Robust Minimum Cuts.
Douglas S. Altner, Özlem Ergun
2008Selected Challenges from Distribution and Commerce in the Airline and Travel Industry.
François Laburthe
2008Simpler and Incremental Consistency Checking and Arc Consistency Filtering Algorithms for the Weighted Spanning Tree Constraint.
Jean-Charles Régin
2008Solving a Log-Truck Scheduling Problem with Constraint Programming.
Nizar El Hachemi, Michel Gendreau, Louis-Martin Rousseau
2008Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic.
Tino Teige, Martin Fränzle
2008The Accuracy of Search Heuristics: An Empirical Study on Knapsack Problems.
Daniel H. Leventhal, Meinolf Sellmann
2008The Polytope of Tree-Structured Binary Constraint Satisfaction Problems.
Meinolf Sellmann
2008The Steel Mill Slab Design Problem Revisited.
Pascal Van Hentenryck, Laurent Michel
2008The Weighted CfgConstraint.
George Katsirelos, Nina Narodytska, Toby Walsh
2008Using Local Search to Speed Up Filtering Algorithms for Some NP-Hard Constraints.
Philippe Galinier, Alain Hertz, Sandrine Paroz, Gilles Pesant