Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1997

Principles and Practice of Constraint Programming - CP97

Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997

Editors:

  1. Gert Smolka
    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 1330)

Conference series link(s): CP: International Conference on Principles and Practice of Constraint Programming

Conference proceedings info: CP 1997.

Sections

Buy it now

Softcover Book USD 109.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

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

Table of contents (42 papers)

  1. Front Matter

    PDF

  3. Narrowing a 2n-block of sortings in O (n logn)

    • Noëlle Bleuzen Guernalec, Alain Colmerauer
    Pages 2-16

  4. Solving various weighted matching problems with constraints

    • Yves Caseau, François Laburthe
    Pages 17-31

  5. A filtering algorithm for global sequencing constraints

    • Jean-Charles Régin, Jean-François Puget
    Pages 32-46

  6. Semantics and expressive power of a timed concurrent constraint language

    • Frank de Boer, M. Gabbrielli, M. C. Meo
    Pages 47-61

  7. Solving classes of set constraints with tree automata

    • P. Devienne, J M. Talbot, S. Tison
    Pages 62-76

  8. The logic of search algorithms: Theory and applications

    • Ian P. Gent, Judith L. Underwood
    Pages 77-91

  10. Random constraint satisfaction: A more accurate picture

    • Dimitris Achlioptas, Lefteris M. Kirousis, Evangelos Kranakis, Danny Krizanc, Michael S. O. Molloy, Yannis C. Stamatiou
    Pages 107-120

  11. Heavy-tailed distributions in combinatorial search

    • Carla P. Gomes, Bart Selman, Nuno Crato
    Pages 121-135

  13. Statistical analysis of backtracking on inconsistent CSPs

    • Irina Rish, Daniel Frost
    Pages 150-162

  15. Understanding and improving the MAC algorithm

    • Daniel Sabin, Eugene C. Ereuder
    Pages 167-181

  16. Modelling exceptionally hard constraint satisfaction problems

    • Barbara M. Smith, Stuart A. Grant
    Pages 182-195

  17. Tabu search for maximal constraint satisfaction problems

    • Philippe Galinier, Jin-Kao Hao
    Pages 196-208

  19. Distributed partial constraint satisfaction problem

    • Katsutoshi Hirayama, Makoto Yokoo
    Pages 222-236

  20. Localizer A modeling language for local search

    • Laurent Michel, Pascal Van Hentenryck
    Pages 237-251
Back to top

Other Volumes

  1. Principles and Practice of Constraint Programming-CP97

Back to top

About this book

This book constitutes the refereed proceedings of the Third International Conference on Principles and Practice of Constraint Programming, CP'97, held in Linz, Austria in October/November 1997.
The volume presents 37 revised full papers carefully selected from a total of 132 submissions; also included are the abstracts of two invited talks and three tutorials. The papers address all current aspects of constraint programming. Among the topics covered are constraint matching, constraint languages, set constraints, constraint search, constraint satisfaction problems, scheduling, constraint routing, temporal constraints, constraint graphs, local search, object-oriented constraint programming, etc.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 109.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

Search

Navigation