+612 9045 4394
Principles and Practice of Constraint Programming - Cp98 : 4th International Conference, Cp98, Pisa, Italy, October 26-30, 1998, Proceedings - Michael Maher

Principles and Practice of Constraint Programming - Cp98

4th International Conference, Cp98, Pisa, Italy, October 26-30, 1998, Proceedings

By: Michael Maher (Editor), Jean-Francois Puget (Editor)

Paperback Published: 9th October 1998
ISBN: 9783540652243
Number Of Pages: 490

Share This Book:


or 4 easy payments of $45.32 with Learn more
Ships in 5 to 9 business days

Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. This volume contains papers dealing with all aspects of c- puting with constraints. In particular, there are several papers on applications of constraints, re?ecting the practical usefulness of constraint programming. The papers were presented at the 1998 International Conference on Principles and Practice of Constraint Programming (CP'98), held in Pisa, Italy, 26{30 - tober, 1998. It is the fourth in this series of conferences, following conferences in Cassis (France), Cambridge (USA), and Schloss Hagenberg (Austria). We received 115 high quality submissions. In addition, 7 abstracts submissions were not followed by a full paper, hence were not counted as submissions. The program committee selected 29 high quality papers after thorough refereeing by at least 3 experts and further discussion by committee members. We thank the referees and the program committee for the time and e ort spent in reviewing the papers. The program committee invited three speakers: { Joxan Ja ar { Peter Jeavons { Patrick Prosser Their papers are in this volume.

Open Constraint Programmingp. 1
Constructing Constraintsp. 2
The Dynamics of Dynamic Variable Ordering Heuristicsp. 17
On Completion of Constraint Handling Rulesp. 25
Error-Correcting Source Codep. 40
Optimized Q-pivot for Exact Linear Solversp. 55
Constraint Techniques for Solving the Protein Structure Prediction Problemp. 72
Global Constraints for Partials CSPs: A Case-Study of Resource and Due Date Constraintsp. 87
Using Graph Decomposition for Solving Continuous CSPsp. 102
Anytime Lower Bounds for Constraint Violation Minimization Problemsp. 117
Introducing External Functions in Constraint Query Languagesp. 132
A Note on Partial Consistencies over Continuous Domainsp. 147
Consistency Techniques in Ordinary Differential Equationsp. 162
Early Projection in CLP(R)p. 177
Suggestion Strategies for Constraint-Based Matchmaker Agentsp. 192
Compiling Semiring-Based Constraints with clp(FD,S)p. 205
Combining Topological and Qualitative Size Constraints for Spatial Reasoningp. 220
Constraint Representation for Propagationp. 235
A Unified Framework for Interval Constraints and Interval Arithmeticp. 250
Constraint-Based Problem Decomposition for a Key Configuration Problemp. 265
Fuzzifying the Constraint Hierarchies Frameworkp. 280
Constraints for Object Recognition in Aerial Images - Handling of Unobserved Featuresp. 295
SALSA: A Language for Search Algorithmsp. 310
Random Constraint Satisfaction: Theory Meets Practicep. 325
A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applicationsp. 340
Safe Datalog Queries with Linear Constraintsp. 355
Non-systematic Search and Learning: An Empirical Studyp. 370
A Generic Model and Hybrid Algorithm for Hoist Scheduling Problemsp. 385
Linear Concurrent Constraint Programming Over Realsp. 400
Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problemsp. 417
A Polynomial Time Local Propagation Algorithm for General Dataflow Constraint Problemsp. 432
Stable Solutions for Dynamic Constraint Satisfaction Problemsp. 447
Generation of Test Patterns for Differential Diagnosis of Digital Circuitsp. 462
Combine and Conquer: Genetic Algorithm and CP for Optimizationp. 463
Some Experiments on Learning Soft Constraintsp. 464
Scheduling Multi-capacitated Resources under Complex Temporal Constraintsp. 465
Implementing Global Constraints with Index-Sets and Constraint Templatesp. 466
Generating Feasible Schedules for a Pick-up and Delivery Problemp. 467
An Impartial Efficiency Comparison of FD Constraint Systemsp. 468
Optimizing with constraints: A Case Study in Scheduling Maintenance of Electric Power Unitsp. 469
Some Surprising Regularities in the Behavior of Stochastic Local Searchp. 470
Modelling CSP Solution Algorithms with Petri Decision Netsp. 471
A Framework for Assertion-Based Debugging in CLPp. 472
Parallel Execution Models for Constraint Propagationp. 473
Using Blocks for Constraint Satisfactionp. 474
Adaptive Solving of Equations over Rational Treesp. 475
Optimal Placement of Base Stations in Wireless Indoor Telecommunicationsp. 476
Author Indexp. 481
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540652243
ISBN-10: 3540652248
Series: Lecture Notes in Computer Science,
Audience: General
Format: Paperback
Language: English
Number Of Pages: 490
Published: 9th October 1998
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.57
Weight (kg): 0.7