Research Catalog

Title

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 6th international conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27-31, 2009 : proceedings / Willem-Jan van Hoeve, John N. Hooker (eds.).

Author

International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (6th : 2009 : Pittsburgh, Pa.)

Publication

Berlin ; New York : Springer, [2009], ©2009.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Hoeve, Willem-Jan van.
• Hooker, John, 1949-

Description

xi, 332 pages : illustrations; 24 cm.

Series Statement

• LNCS sublibrary. SL 1, Theoretical computer science and general issues
• Lecture notes in computer science, 0302-9743 ; 5547

Uniform Title

• Lecture notes in computer science ; 5547.
• LNCS sublibrary. SL 1, Theoretical computer science and general issues.

Alternative Title

• CPAIOR 2009
• Integration of artificial intelligence and operations research techniques in constraint programming for combinatorial optimization problems

Subjects

• Artificial intelligence > Technique > Congresses
• Combinatorial optimization > Data processing > Congresses
• Operations research > Technique > Congresses
• Constraints (Artificial intelligence) > Congresses
• Constraint programming (Computer science) > Congresses

Bibliography (note)

• Includes bibliographical references and index.

Contents

Machine learning framework for classification in medicine and biology -- G12 - towards the separation of problem modelling and problem solving -- Six ways of integrating symmetries within non-overlapping constraints -- Throughput constraint for synchronous data flow graphs -- A shortest path-based approach to the multileaf collimator sequencing problem -- Backdoors to combinatorial optimization : Feasibility and optimality -- Solution enumeration for projected boolean search problems -- K-clustering minimum biclique completion via a hybrid CP and SDP approach -- Optimal interdiction of unreactive Markovian evaders -- Using model counting to find optimal distinguishing tests -- Reformulating global grammar constraints -- IBM ILOG CP optimizer for detailed scheduling illustrated on three problems -- Open constraints in a boundable world -- Sequencing and counting with the multicost-regular constraint -- Bandwidth-limited optimal deployment of eventually-serializable data services -- Tightening the linear relaxation of a mixed integer nonlinear program using constraint programming -- The polytope of context-free grammar constraints -- Determining the number of games needed to guarantee an NHL playoff spot -- Scalable load balancing in nurse to patient assignment problems -- Learning how to propagate using random probing -- DFS* and the traveling tournament problem -- Max energy filtering algorithm for discrete cumulative resources -- Hybrid branching -- Constraint programming and mixed integer linear programming for rescheduling trains under disrupted operations -- Constraint models for sequential planning -- A fast algorithm to solve the frequency assignment problem -- A hybrid LS/CP approach to solve the weekly log-truck scheduling problem -- Modelling search strategies in Rules2CP -- CP-INSIDE : Embedding constraint-based decision engines in business applications -- An integrated genetic algorithm and integer programming approach to the network design problem with relays -- A benders' approach to a transportation network design problem -- Progress on the progressive party problem.

ISBN

9783642019289

OCLC

• ocn326533938
• SCSB-5473089

Owning Institutions

Columbia University Libraries