Skip to main content
  • Conference proceedings
  • © 2000

Principles and Practice of Constraint Programming - CP 2000

6th International Conference, CP 2000 Singapore, September 18-21, 2000 Proceedings

Editors:

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

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (47 papers)

  1. Front Matter

    Pages I-XII
  2. Invited Papers

    1. Meta-complexity Theorems: Talk Abstract

      • David McAllester
      Pages 13-17
  3. Regular Papers

    1. Automatic Generation of Propagation Rules for Finite Domains

      • Slim Abdennadher, Christophe Rigotti
      Pages 18-34
    2. Extending Forward Checking

      • Fahiem Bacchus
      Pages 35-51
    3. Universally Quantified Interval Constraints

      • Frédéric Benhamou, Frédéric Goualard
      Pages 67-82
    4. Constraints Inference Channels and Secure Databases

      • Alexander Brodsky, Csilla Farkas, Duminda Wijesekera, X. Sean Wang
      Pages 98-113
    5. A Language for Audiovisual Template Specification and Recognition

      • Jean Carrive, Pierre Roy, François Pachet, Rémi Ronfard
      Pages 128-142
    6. Random 3-SAT: The Plot Thickens

      • Cristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi
      Pages 143-159
    7. New Tractable Classes from Old

      • David Cohen, Peter Jeavons, Richard Gault
      Pages 160-171
    8. Cutting Planes in Constraint Programming: An Hybrid Approach

      • Filippo Focacci, Andrea Lodi, Michela Milano
      Pages 187-201
    9. A Constraint-Based Framework for Prototyping Distributed Virtual Applications

      • Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer
      Pages 202-218
    10. A Constraint Programming Approach for Solving Rigid Geometric Systems

      • Christophe Jermann, Gilles Trombettoni, Bertrand Neveu, Michel Rueher
      Pages 233-248
    11. Maintaining Arc-Consistency within Dynamic Backtracking

      • Narendra Jussien, Romuald Debruyne, Patrice Boizumault
      Pages 249-261

Editors and Affiliations

  • Department of Computer Science, University of California at Irvine, Irvine, USA

    Rina Dechter

Bibliographic Information

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access