Advertisement

Table of contents

  1. Front Matter
  2. Noëlle Bleuzen Guernalec, Alain Colmerauer
    Pages 2-16
  3. Yves Caseau, François Laburthe
    Pages 17-31
  4. Jean-Charles Régin, Jean-François Puget
    Pages 32-46
  5. Frank de Boer, M. Gabbrielli, M. C. Meo
    Pages 47-61
  6. P. Devienne, J M. Talbot, S. Tison
    Pages 62-76
  7. Ian P. Gent, Judith L. Underwood
    Pages 77-91
  8. Dimitris Achlioptas, Lefteris M. Kirousis, Evangelos Kranakis, Danny Krizanc, Michael S. O. Molloy, Yannis C. Stamatiou
    Pages 107-120
  9. Carla P. Gomes, Bart Selman, Nuno Crato
    Pages 121-135
  10. Irina Rish, Daniel Frost
    Pages 150-162
  11. Daniel Sabin, Eugene C. Ereuder
    Pages 167-181
  12. Barbara M. Smith, Stuart A. Grant
    Pages 182-195
  13. Philippe Galinier, Jin-Kao Hao
    Pages 196-208
  14. Katsutoshi Hirayama, Makoto Yokoo
    Pages 222-236
  15. Laurent Michel, Pascal Van Hentenryck
    Pages 237-251
  16. Alexandre Boudet, Evelyne Contejean
    Pages 267-281
  17. Martin Müller, Joachim Niehren, Andreas Podelski
    Pages 297-311
  18. Romuald Debruyne, Christian Bessière
    Pages 312-326
  19. Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Paul Shaw, Toby Walsh
    Pages 327-340
  20. Chu Min Li, Anbulagan
    Pages 341-355
  21. Laurent Michel, Jean-Fançois Puget
    Pages 371-371
  22. J. Christopher Beck, Andrew J. Davenport, Mark S. Fox
    Pages 390-404
  23. Simon de Givry, Gérard Verfaillie, Thomas Schiex
    Pages 405-419
  24. Gilles Pesant, Michel Gendreaul, Jean-Marc Rousseau
    Pages 420-434
  25. Claudio Bettinn, X. Sean Wang, Sushil Jajodia
    Pages 435-449
  26. Stéphane Grumbachs, Gabriel Kuper
    Pages 450-462
  27. Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam
    Pages 463-477
  28. David Cohen, Peter Jeavons, Manolis Koubarakis
    Pages 478-490
  29. Warwick Harvey, Peter J. Stuckey, Alan Borning
    Pages 491-505
  30. Jean-Marc Labat, Laurent Mynard
    Pages 506-518
  31. Christian Schulte
    Pages 519-533
  32. Igor Shvetsov, Vitaly Telerman, Dmitry Ushakov
    Pages 534-548
  33. Leszek Pacholski, Andreas Podelski
    Pages 549-561
  34. Back Matter

About these proceedings

Introduction

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.

Keywords

Algorithms Automat Constraint Satisfaction Exception automata complexity inference engine logic modeling optimization programming proving semantics verification

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0017424
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63753-0
  • Online ISBN 978-3-540-69642-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering