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

First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004. Proceedings

Editors:

ISBN: 978-3-540-21836-4 (Print) 978-3-540-24664-0 (Online)

Table of contents (31 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Paper

    1. No Access

      Book Chapter

      Pages 1-20

      Using MILP and CP for the Scheduling of Batch Chemical Processes

  3. Technical Papers

    1. No Access

      Book Chapter

      Pages 21-36

      SIMPL: A System for Integrating Optimization Techniques

    2. No Access

      Book Chapter

      Pages 37-49

      A New Exact Solution Algorithm for the Job Shop Problem with Sequence-Dependent Setup Times

    3. No Access

      Book Chapter

      Pages 50-64

      Simple Rules for Low-Knowledge Algorithm Selection

    4. No Access

      Book Chapter

      Pages 65-79

      Filtering Algorithms for the Same Constraint

    5. No Access

      Book Chapter

      Pages 80-95

      Cost Evaluation of Soft Global Constraints

    6. No Access

      Book Chapter

      Pages 96-111

      SAT-Based Branch & Bound and Optimal Control of Hybrid Dynamical Systems

    7. No Access

      Book Chapter

      Pages 112-126

      Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming

    8. No Access

      Book Chapter

      Pages 127-141

      Generating Benders Cuts for a General Class of Integer Programming Problems

    9. No Access

      Book Chapter

      Pages 142-156

      A Constraint Programming Model for Tail Assignment

    10. No Access

      Book Chapter

      Pages 157-172

      Super Solutions in Constraint Programming

    11. No Access

      Book Chapter

      Pages 173-189

      Local Probing Applied to Network Routing

    12. No Access

      Book Chapter

      Pages 190-199

      Dynamic Heaviest Paths in DAGs with Arbitrary Edge Weights

    13. No Access

      Book Chapter

      Pages 200-208

      Filtering Methods for Symmetric Cardinality Constraint

    14. No Access

      Book Chapter

      Pages 209-224

      Arc-Consistency Filtering Algorithms for Logical Combinations of Constraints

    15. No Access

      Book Chapter

      Pages 225-239

      Combining Forces to Solve the Car Sequencing Problem

    16. No Access

      Book Chapter

      Pages 240-255

      Travelling in the World of Local Searches in the Space of Partial Assignments

    17. No Access

      Book Chapter

      Pages 256-270

      A Global Constraint for Nesting Problems

    18. No Access

      Book Chapter

      Pages 271-286

      Models and Symmetry Breaking for ‘Peaceable Armies of Queens’

    19. No Access

      Book Chapter

      Pages 287-301

      A Global Constraint for Graph Isomorphism Problems

previous Page of 2