Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Invited Talks.- Airline Scheduling: Accomplishments, Opportunities and Challenges.- Selected Challenges from Distribution and Commerce in the Airline and Travel Industry.- 30 Years of Constraint Programming.- Long Papers.- Constraint Integer Programming: A New Approach to Integrate CP and MIP.- New Filtering for the Constraint in the Context of Non-Overlapping Rectangles.- Multi-stage Benders Decomposition for Optimizing Multicore Architectures.- Fast and Scalable Domino Portrait Generation.- Gap Reduction Techniques for Online Stochastic Project Scheduling.- Integrating Symmetry, Dominance, and Bound-and-Bound in a Multiple Knapsack Solver.- Cost Propagation - Numerical Propagation for Optimization Problems.- Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs.- Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting.- The Accuracy of Search Heuristics: An Empirical Study on Knapsack Problems.- A Novel Approach For Detecting Symmetries in CSP Models.- Amsaa: A Multistep Anticipatory Algorithm for Online Stochastic Combinatorial Optimization.- Optimal Deployment of Eventually-Serializable Data Services.- Counting Solutions of Knapsack Constraints.- From High-Level Model to Branch-and-Price Solution in G12.- Simpler and Incremental Consistency Checking and Arc Consistency Filtering Algorithms for the Weighted Spanning Tree Constraint.- Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic.- A Hybrid Constraint Programming / Local Search Approach to the Job-Shop Scheduling Problem.- Short Papers.- Counting Solutions of Integer Programs Using Unrestricted Subtree Detection.- Rapidly Solving an Online Sequence of Maximum Flow Problems with Extensions to Computing Robust Minimum Cuts.- AHybrid Approach for Solving Shift-Selection and Task-Sequencing Problems.- Solving a Log-Truck Scheduling Problem with Constraint Programming.- Using Local Search to Speed Up Filtering Algorithms for Some NP-Hard Constraints.- Connections in Networks: A Hybrid Approach.- Efficient Haplotype Inference with Combined CP and OR Techniques.- Integration of CP and Compilation Techniques for Instruction Sequence Test Generation.- Propagating Separable Equalities in an MDD Store.- The Weighted Cfg Constraint.- CP with ACO.- A Combinatorial Auction Framework for Solving Decentralized Scheduling Problems (Extended Abstract).- Constraint Optimization and Abstraction for Embedded Intelligent Systems.- A Parallel Macro Partitioning Framework for Solving Mixed Integer Programs.- Guiding Stochastic Search by Dynamic Learning of the Problem Topography.- Hybrid Variants for Iterative Flattening Search.- Global Propagation of Practicability Constraints.- The Polytope of Tree-Structured Binary Constraint Satisfaction Problems.- A Tabu Search Method for Interval Constraints.- The Steel Mill Slab Design Problem Revisited.- Filtering Atmost1 on Pairs of Set Variables.- Extended Abstract.- Mobility Allowance Shuttle Transit (MAST) Services: MIP Formulation and Strengthening with Logic Constraints.