Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Jean-Charles Régin

    1. ILOG Sophia Antipolis, Les Taissounières HB2, Valbonne, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michel Rueher

    1. Université de Nice-Sophia Antipolis, I3S-CNRS, Sophia Antipolis, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3011)

Included in the following conference series:

Conference proceedings info: CPAIOR 2004.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (31 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Paper

    1. Using MILP and CP for the Scheduling of Batch Chemical Processes

      • Christos T. Maravelias, Ignacio E. Grossmann
      Pages 1-20

  3. Technical Papers

    1. SIMPL: A System for Integrating Optimization Techniques

      • Ionuţ Aron, John N. Hooker, Tallys H. Yunes
      Pages 21-36

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

      • Christian Artigues, Sana Belmokhtar, Dominique Feillet
      Pages 37-49

    3. Simple Rules for Low-Knowledge Algorithm Selection

      • J. Christopher Beck, Eugene C. Freuder
      Pages 50-64

    4. Filtering Algorithms for the Same Constraint

      • Nicolas Beldiceanu, Irit Katriel, Sven Thiel
      Pages 65-79

    5. Cost Evaluation of Soft Global Constraints

      • Nicolas Beldiceanu, Thierry Petit
      Pages 80-95

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

      • Alberto Bemporad, Nicolò Giorgetti
      Pages 96-111

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

      • Thomas Bourdeaud’huy, Said Hanafi, Pascal Yim
      Pages 112-126

    8. Generating Benders Cuts for a General Class of Integer Programming Problems

      • Yingyi Chu, Quanshi Xia
      Pages 127-141

    9. A Constraint Programming Model for Tail Assignment

      • Mattias Grönkvist
      Pages 142-156

    10. Super Solutions in Constraint Programming

      • Emmanuel Hebrard, Brahim Hnich, Toby Walsh
      Pages 157-172

    11. Local Probing Applied to Network Routing

      • Olli Kamarainen, Hani El Sakkout
      Pages 173-189

    12. Dynamic Heaviest Paths in DAGs with Arbitrary Edge Weights

      • Irit Katriel
      Pages 190-199

    13. Filtering Methods for Symmetric Cardinality Constraint

      • Waldemar Kocjan, Per Kreuger
      Pages 200-208

    14. Arc-Consistency Filtering Algorithms for Logical Combinations of Constraints

      • Olivier Lhomme
      Pages 209-224

    15. Combining Forces to Solve the Car Sequencing Problem

      • Laurent Perron, Paul Shaw
      Pages 225-239

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

      • Cédric Pralet, Gérard Verfaillie
      Pages 240-255

    17. A Global Constraint for Nesting Problems

      • Cristina Ribeiro, Maria Antónia Carravilla
      Pages 256-270

    18. Models and Symmetry Breaking for ‘Peaceable Armies of Queens’

      • Barbara M. Smith, Karen E. Petrie, Ian P. Gent
      Pages 271-286
Back to top

Other volumes

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

Keywords

Editors and Affiliations

  • ILOG Sophia Antipolis, Les Taissounières HB2, Valbonne, France

    Jean-Charles Régin

  • Université de Nice-Sophia Antipolis, I3S-CNRS, Sophia Antipolis, France

    Michel Rueher

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation