Advertisement

Principles and Practice of Constraint Programming – CP’99

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

  • Joxan Jaffar
Conference proceedings CP 1999

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
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering