Table of contents

  1. Front Matter
  2. Slim Abdennadher, Thom Frühwirth, Holger Meuss
    Pages 1-15
  3. M. S. Affane, H. Bennaceur
    Pages 16-30
  4. Roberto J. Bayardo Jr., Robert Schrag
    Pages 46-60
  5. Christian Bessière, Jean-Charles Régin
    Pages 61-75
  6. Witold Charatonik, Andreas Podelski
    Pages 76-90
  7. B. M. W. Cheng, J. H. M. Lee, J. C. K. Wu
    Pages 91-103
  8. C. K. Chiu, C. M. Chou, J. H. M. Lee, H. F. Leung, Y. W. Leung
    Pages 104-118
  9. David A. Clark, Jeremy Frank, Ian P. Gent, Ewan MacIntyre, Neven Tomov, Toby Walsh
    Pages 119-133
  10. David Cohen, Marc Gyssens, Peter Jeavons
    Pages 134-148
  11. Hani El Sakkout, Mark G. Wallace, E. Barry Richards
    Pages 164-178
  12. Ian P. Gent, Ewan MacIntyre, Patrick Presser, Barbara M. Smith, Toby Walsh
    Pages 179-193
  13. Jin-Kao Hao, Raphaël Dorne
    Pages 194-208
  14. Christian Holzbaur, Francisco Menezes, Pedro Barahona
    Pages 209-223
  15. Hiroshi Hosobe, Satoshi Matsuoka, Akinori Yonezawa
    Pages 237-251
  16. Michael Jampel, Jean-Marie Jacquet, David Gilbert, Sebastian Hunt
    Pages 252-266
  17. Peter Jeavons, David Cohen, Marc Gyssens
    Pages 267-281

About these proceedings

Introduction

This book constitutes the refereed proceedings of the Second International Conference on Principles and Practice of Constraint Programming, CP '96, held in Cambridge, MA, USA in August 1996.
The 36 revised full papers presented in the volume were selected from over 100 submissions; also included are abstracts of 22 selected poster presentations and 3 special lectures. CP is the flagship conference series on constraint processing with a number of satellite activities; thus the volume reflects the state of the art in the field.

Keywords

Constraint-Erfüllung Constraint-Programmierung Logische Constraint-Programmierung Optimierung Processing algorithms constraint logic programming constraint programming constraint satisfaction optimization programming programming language set constraints

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-61551-2
  • Copyright Information Springer-Verlag 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61551-4
  • Online ISBN 978-3-540-70620-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349