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

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

Introduction

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.

Keywords

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 https://doi.org/10.1007/3-540-60299-2
  • Copyright Information Springer-Verlag 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
  • About this book