Table of contents

  1. Front Matter
  2. Barbara M. Smith, Sally C. Brailsford, Peter M. Hubbard, H. Paul Williams
    Pages 36-52
  3. Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh
    Pages 70-87
  4. Javier Larrosa, Pedro Meseguer
    Pages 103-120
  5. Stéphane Grumbach, Jianwen Su
    Pages 121-136
  6. Michael J. Maher
    Pages 170-185
  7. Pierre Girodias, Eduard Cerny, William J. Older
    Pages 186-203
  8. Micha Meier
    Pages 204-221
  9. Andrew D. Kelly, Andrew Macdonald, Kim Marriott, Harald Søndergaard, Peter J. Stuckey, Roland H. C. Yap
    Pages 222-239
  10. Rina Dechter, Peter van Beek
    Pages 240-257
  11. Fahiem Bacchus, Paul van Run
    Pages 258-275
  12. Peter Jeavons, David Cohen, Marc Gyssens
    Pages 276-291
  13. Fahiem Bacchus, Adam Grove
    Pages 292-309
  14. Andreas Podelski, Gert Smolka
    Pages 328-344
  15. Christian Codognet, Philippe Codognet
    Pages 345-361
  16. Enea Zaffanella
    Pages 362-379
  17. Jian Zhang, Hantao Zhang
    Pages 398-414
  18. Livio Colussi, Elena Marchiori, Massimo Marchiori
    Pages 431-448
  19. Helmut Simonis, Trijntje Cornelissens
    Pages 449-462
  20. Daniel Sabin, Mihaela Sabin, Robert D. Russell, Eugene C. Freuder
    Pages 463-480
  21. Nabil Guerinik, Michel Van Caneghem
    Pages 481-498
  22. Massimo Paltrinieri
    Pages 499-514
  23. Steven Prestwich, Shyam Mudambi
    Pages 533-548
  24. Bruno Buchberger
    Pages 563-563
  25. Nikolaj Bjørner, Anca Browne, Zohar Manna
    Pages 589-623
  26. Micha Meier, Alexander Herold
    Pages 636-639
  27. Helmut Simonis
    Pages 643-646
  28. Jean-Francois Puget
    Pages 647-650
  29. Back Matter

Other volumes

  1. Principles and Practice of Constraint Programming — CP '95
    First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings

About these proceedings


This book constitutes the proceedings of the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Cassis near Marseille, France in September 1995.
The 33 refereed full papers included were selected out of 108 submissions and constitute the main part of the book; in addition there is a 60-page documentation of the four invited papers and a section presenting industrial reports. Thus besides having a very strong research component, the volume will be attractive for practitioners. The papers are organized in sections on efficient constraint handling, constraint logic programming, concurrent constraint programming, computational logic, applications, and operations research.


Computational Logic Constraint Concurrent Programming Constraint Logic Programming Constraint Programming Constraint Satisfaction DOM Debugging Operations Research Variable algorithm algorithms heuristics logic optimization programming

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60299-6
  • Online ISBN 978-3-540-44788-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site