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

About these proceedings


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.


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

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag 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
  • About this book