Research Catalog

Title

Principles and practice of constraint programming--CP 2000 : 6th International Conference, CP 2000, Singapore, September 18-21, 2000 : proceedings / Rina Dechter (ed.).

Author

CP (Conference) (6th : 2000 : Singapore)

Publication

New York : Springer, 2000.

Items in the Library & Off-site

Holdings

Details

Additional Authors

Dechter, Rina, 1950-

Description

xii, 556 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 1894

Uniform Title

Lecture notes in computer science ; 1894.

Subject

Constraint programming (Computer science) > Congresses

Bibliography (note)

• Includes bibliographycal references and index.

Contents

Constraint-Based Agents: The ABC's of CBA's / Alan K. Mackworth -- Constraints for Interactive Graphical Applications / Alan Borning -- Meta-complexity Theorems: Talk Abstract / David McAllester -- Automatic Generation of Propagation Rules for Finite Domains / Slim Abdennadher and Christophe Rigotti -- Extending Forward Checking / Fahiem Bacchus -- Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same Type / Nicolas Beldiceanu -- Universally Quantified Interval Constraints / Frederic Benhamou and Frederic Goulard -- Constraint Propagation for Soft Constraints: Generalization and Termination Conditions / S. Bistarelli, R. Gennari and F. Rossi -- Constraints, Inference Channels and Secure Databases / Alexander Brodsky, Csilla Farkas and Duminda Wijesekera / [et al.] -- Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive Constraints / Mathias Broxvall, Peter Jonsson and Jochen Renz -- A Language for Audiovisual Template Specification and Recognition / Jean Carrive, Pierre Roy and Francois Pachet / [et al.] -- Random 3-SAT: The Plot Thickens / Cristian Coarfa, Demetrios D. Demopoulos and Alfonso San Miguel / [et al.] -- New Tractable Classes from Old / David Cohen, Peter Jeavons and Richard Gault -- Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees / Alain Colmerauer and Thi-Bich-Hanh Dao -- Cutting Planes in Constraint Programming: An Hybrid Approach / Filippo Focacci, Andrea Lodi and Michaela Milano -- A Constraint-Based Framework for Prototyping Distributed Virtual Applications / Vineet Gupta, Lalita Jategaonkar Jagadeesan and Radha Jagadeesan / [et al.] -- A Scalable Linear Constraint Solver for User Interface Construction / Hiroshi Hosobe -- A Constraint Programming Approach for Solving Rigid Geometric Systems / Christophe Jermann, Gilles Trombettoni and Bertrand Neveu / [et al.] -- Maintaining Arc-Consistency within Dynamic Backtracking / Narendra Jussien, Romuald Debruyne and Patrice Boizurnault -- New Search Heuristics for Max-CSP / Kalev Kask -- Analysis of Random Noise and Random Walk Algorithms for Satisfiability Testing / Bhaskar Krishnamachari, Xi Xie and Bart Selman / [et al.] -- Boosting Search with Variable Elimination / Javier Larrosa -- Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint / Kurt Mehlhorn and Sven Thiel -- Practical Investigation of Constraints with Graph Views / Tobias Muller -- A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences / Steven Prestwich -- Singleton Consistencies / Patrick Prosser, Kostas Stergiou and Toby Walsh -- Linear Formulation of Constraint Programming Models and Hybrid Solvers / Philippe Refalo -- A Global Constraint Combining a Sum Constraint and Difference Constraints / Jean-Charles Regin and Michel Rueher -- Efficient Querying of Periodic Spatiotemporal Objects / Peter Revesz and Mengchu Cai -- Arc Consistency for Soft Constraints / Thomas Schiex -- Optimal Anytime Constrained Simulated Annealing for Constrained Global Optimization / Benjamin W. Wah and Yi Xin Chen -- SAT v CSP / Toby Walsh -- Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies / Hui Wu, Joxan Jaffar and Roland Yap -- Arc Consistency on n-ary Monotonic and Linear Constraints / Zhang Yuanlin and Roland H. C. Yap -- Some Observations on Durations, Scheduling and Allen's Algebra / Ola Angelsmark and Peter Jonsson -- Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability / Luis Baptista and Joao Marques-Silva -- Finding Minimal Unsatisfiable Subformulae in Satisfiability Instances / Renato Bruni and Antonio Sassano -- Branching Constraint Satisfaction Problems for Solutions Robust under Likely Changes / David W. Fowler and Kenneth N. Brown -- Constraint Propagation: Between Abstract Models and ad hoc Strategies / Laurent Granvilliers and Eric Monfroy -- How to Model and Verify Concurrent Algorithms for Distributed CSPs / Markus Hannebauer -- The Phase Transition in Distributed Constraint Satisfaction Problems: First Results / Katsutoshi Hirayama, Makoto Yokoo and Katia Sycara -- Cooperating Constraint Solvers / Petra Hofstedt -- An Empirical Study of Probabilistic Arc Consistency as a Variable Ordering Heuristic / Michael C. Horsch and William S. Havens -- On Dual Encodings for Non-binary Constraint Satisfaction Problems / S. Nagarajan, S. Goodwin and A. Sattar / [et al.] -- Algebraic Simplication Techniques for Propositional Satisfiability / Joao Marques-Silva -- An Original Constraint Based Approach for Solving over Constrained Problems / J.-C. Regin, T. Petit and C. Bessiere / [et al.] -- An Efficient Approximate Algorithm for Winner Determination in Combinatorial Auctions / Yuko Sakurai, Makoto Yokoo and Koji Kamei.

ISBN

3540410538 (softcover : alk. paper)

LCCN

00064130

OCLC

• 505739771
• ocn505739771
• SCSB-3943096

Owning Institutions

Columbia University Libraries