Advertisement

Principles and Practice of Constraint Programming – CP’99

5th International Conference, CP’99, Alexandria, VA, USA, October 11-14, 1999. Proceedings

  • Joxan Jaffar

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1713)

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Krzysztof R. Apt
      Pages 1-23
    2. Christian Bessière
      Pages 24-27
  3. Regular Papers

    1. Slim Abdennadher, Thom Frühwirth
      Pages 43-57
    2. Rolf Backofen, Sebastian Will
      Pages 73-87
    3. Christian Bessière, Pedro Meseguer, Eugene C. Freuder, Javier Larrosa
      Pages 88-102
    4. Christian Bessière, Jean-Charles Régin
      Pages 103-117
    5. Yves Caseau, François Laburthe, Glenn Silverstein
      Pages 144-158
    6. Víctor Dalmau, Justin Pearson
      Pages 159-173
    7. Bart Demoen, Maria García de la Banda, Warwick Harvey, Kim Marriott, Peter Stuckey
      Pages 174-188
    8. F. Focacci, A. Lodi, M. Milano
      Pages 189-203
    9. Youssef Hamadi
      Pages 219-233
    10. Tudor Hulubei, Eugene C. Freuder
      Pages 234-245
    11. Micha Janssen, Yves Deville, Pascal Van Hentenryck
      Pages 246-260
    12. Ulrich Junker, Stefan E. Karisch, Niklas Kohl, Bo Vaaben, Torsten Fahle, Meinolf Sellmann
      Pages 261-274
    13. Kazuya Kaneko, Masazumi Yoshikawa, Yoichiro Nakakuki
      Pages 275-288
    14. Ludwig Krippahl, Pedro Barahona
      Pages 289-302
    15. Javier Larrosa, Pedro Meseguer
      Pages 303-315
    16. Bernd Meyer
      Pages 316-330
    17. François Pachet, Pierre Roy
      Pages 331-345
    18. Timo Soininen, Esther Gelle, Ilkka Niemelä
      Pages 419-433
    19. Takayuki Suyama, Makoto Yokoo, Akira Nagoya
      Pages 434-445
    20. John Thornton, Abdul Sattar
      Pages 446-460
  4. Poster Papers

    1. Stanislav Busygin
      Pages 476-477
    2. Ian P. Gent, Toby Walsh
      Pages 480-481
    3. Timothy J. Hickey, David K. Wittenberg
      Pages 482-483
    4. Marius-Călin Silaghi, Djamila Sam-Haroud, Boi Faltings
      Pages 488-489
  5. Back Matter

About these proceedings

Keywords

Constraint Programming Constraint Satisfaction algorithm algorithms automated theorem proving classification constraint propagation constraint reasoning constraint-based search logic programming optimization programming proving set constraints

Editors and affiliations

  • Joxan Jaffar
    • 1
  1. 1.School of ComputingNational University of SingaporeRepublic of Singapore

Bibliographic information

  • DOI https://doi.org/10.1007/b72297
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66626-4
  • Online ISBN 978-3-540-48085-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering