Principles and Practice of Constraint Programming — CP98: 4th International Conference, CP98 Pisa, Italy, October 26–30, 1998 Proceedings

Open Constraint Programming....Pages 1-1
Constructing Constraints....Pages 2-16
The Dynamics of Dynamic Variable Ordering Heuristics....Pages 17-23
On Completion of Constraint Handling Rules....Pages 25-39
Error-correcting Source Code....Pages 40-54
Optimized Q-pivot for Exact Linear Solvers....Pages 55-71
Constraint Techniques for Solving the Protein Structure Prediction Problem....Pages 72-86
Global Constraints for Partial CSPs: A Case-Study of Resource and Due Date Constraints....Pages 87-101
Using Graph Decomposition for Solving Continuous CSPs....Pages 102-116
Anytime Lower Bounds for Constraint Violation Minimization Problems....Pages 117-131
Introducing External Functions in Constraint Query Languages....Pages 132-146
A Note on Partial Consistencies over Continuous Domains....Pages 147-161
Consistency Techniques in Ordinary Differential Equations....Pages 162-176
Early Projection in CLP( R )....Pages 177-191
Suggestion Strategies for Constraint-Based Matchmaker Agents....Pages 192-204
Compiling Semiring-based Constraints with clp(FD,S)....Pages 205-219
Combining Topological and Qualitative Size Constraints for Spatial Reasoning....Pages 220-234
Constraint Representation for Propagation....Pages 235-249
A Unified Framework for Interval Constraints and Interval Arithmetic....Pages 250-264
Constraint-based Problem Decomposition for a Key Configuration Problem....Pages 265-279
Fuzzifying the Constraint Hierarchies Framework....Pages 280-294
Constraints for Object Recognition in Aerial Images —Handling of Unobserved Features....Pages 295-309
 Salsa : A Language for Search Algorithms....Pages 310-324
Random Constraint Satisfaction: theory meets practice....Pages 325-339
A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications....Pages 340-354
Safe Datalog Queries with Linear Constraints....Pages 355-369
Non-systematic Search and Learning: An empirical study....Pages 370-384
A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems....Pages 385-399
Linear concurrent constraint programming over reals....Pages 400-416
Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems....Pages 417-431
A Polynomial Time Local Propagation Algorithm for General Datafow Constraint Problems....Pages 432-446
Stable Solutions for Dynamic Constraint Satisfaction Problems....Pages 447-461
Generation of Test Patterns for Differential Diagnosis of Digital Circuits....Pages 462-462
Combine & Conquer: Genetic Algorithm and CP for Optimization....Pages 463-463
Some Experiments on Learning Soft Constraints....Pages 464-464
Scheduling Multi-Capacitated Resources under Complex Temporal Constraints....Pages 465-465
Implementing Global Constraints with Index-Sets and Constraint Templates....Pages 466-466
Generating feasible schedules for a pick-up and delivery problem....Pages 467-467
An Impartial Efficiency Comparison of FD Constraint Systems....Pages 468-468
Optimizing with constraints: a case study in scheduling maintenance of electric power units....Pages 469-469
Some Surprising Regularities in the Behaviour of Stochastic Local Search....Pages 470-470
Modelling CSP Solution Algorithms with Petri Decision Nets....Pages 471-471
A Framework for Assertion-based Debugging in Constraint Logic Programming....Pages 472-472
Parallel Execution Models for Constraint Propagation....Pages 473-473
Using Blocks for Constraint Satisfaction....Pages 474-474
Adaptive Solving of Equations over Rational Trees....Pages 475-475
Optimal Placement of Base Stations in Wireless Indoor Telecommunication....Pages 476-480