Table of contents

  1. Front Matter
  2. Peter Jeavons, David Cohen, Martin Cooper
    Pages 1-9
  3. Daniel Sabin, Eugene C. Freuder
    Pages 10-20
  4. Yuejun Jiang, Thomas Richards, Barry Richards
    Pages 21-39
  5. D. Haroud, B. Faltings
    Pages 40-50
  6. Hiroshi Hosobe, Ken Miyashita, Shin Takahashi, Satoshi Matsuoka, Akinori Yonezawa
    Pages 51-62
  7. Suresh Thennarangam, Gurminder Singh
    Pages 78-85
  8. Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap
    Pages 86-94
  9. Gilles Pesant, Michel Boyer
    Pages 95-108
  10. Christian Schulte, Gert Smolka, Jörg Würtz
    Pages 134-150
  11. U. Montanari, F. Rossi, F. Bueno, M. García de la Banda, M. Hermenegildo
    Pages 151-161
  12. Ugo Montanari, Francesca Rossi, Vijay Saraswat
    Pages 162-172
  13. Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom
    Pages 173-180
  14. Foto Afrati, Stavros S. Cosmadakis, Stéphane Grumbach, Gabriel M. Kuper
    Pages 181-192
  15. Kenneth A. Ross, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan
    Pages 193-204
  16. Marianne Baudinet, Jan Chomicki, Pierre Wolper
    Pages 205-217
  17. Divesh Srivastava, Raghu Ramakrishnan, Peter Z. Revesz
    Pages 218-228

About these proceedings

Introduction

This volume is the proceedings of the Second International Workshop on the Principles and Practice of Constraint Programming, held at Rosario, Orcas Island, Washington, USA in May 1994 in cooperation with AAAI and ALP.
The volume contains 27 full revised papers selected from 87 submissions as well as a summary of a panel session on commercial applications of constraint programming. The contributions cover a broad range of topics including constraint programming languages, algorithms for constraint satisfaction and entailment, and constraints and their relation to fields such as artificial intelligence, databases, operations research, problem solving, and user interfaces.

Keywords

Action Constraint Constraint Satisfaction algorithm algorithms artificial intelligence intelligence operations research programming programming language

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-58601-6
  • Copyright Information Springer-Verlag 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58601-2
  • Online ISBN 978-3-540-49032-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book