Principles and Practice of Constraint Programming — CP98

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Open Constraint Programming
3. Altmetric Badge
   Chapter 2 Constructing Constraints
4. Altmetric Badge
   Chapter 3 The Dynamics of Dynamic Variable Ordering Heuristics
5. Altmetric Badge
   Chapter 4 On Completion of Constraint Handling Rules
6. Altmetric Badge
   Chapter 5 Error-correcting Source Code
7. Altmetric Badge
   Chapter 6 Optimized Q-pivot for Exact Linear Solvers
8. Altmetric Badge
   Chapter 7 Constraint Techniques for Solving the Protein Structure Prediction Problem
9. Altmetric Badge
   Chapter 8 Global Constraints for Partial CSPs: A Case-Study of Resource and Due Date Constraints
10. Altmetric Badge
    Chapter 9 Using Graph Decomposition for Solving Continuous CSPs
11. Altmetric Badge
    Chapter 10 Anytime Lower Bounds for Constraint Violation Minimization Problems
12. Altmetric Badge
    Chapter 11 Introducing External Functions in Constraint Query Languages
13. Altmetric Badge
    Chapter 12 A Note on Partial Consistencies over Continuous Domains
14. Altmetric Badge
    Chapter 13 Consistency Techniques in Ordinary Differential Equations
15. Altmetric Badge
    Chapter 14 Early Projection in CLP( R )
16. Altmetric Badge
    Chapter 15 Suggestion Strategies for Constraint-Based Matchmaker Agents
17. Altmetric Badge
    Chapter 16 Compiling Semiring-based Constraints with clp(FD,S)
18. Altmetric Badge
    Chapter 17 Combining Topological and Qualitative Size Constraints for Spatial Reasoning
19. Altmetric Badge
    Chapter 18 Constraint Representation for Propagation
20. Altmetric Badge
    Chapter 19 A Unified Framework for Interval Constraints and Interval Arithmetic
21. Altmetric Badge
    Chapter 20 Constraint-based Problem Decomposition for a Key Configuration Problem
22. Altmetric Badge
    Chapter 21 Fuzzifying the Constraint Hierarchies Framework
23. Altmetric Badge
    Chapter 22 Constraints for Object Recognition in Aerial Images —Handling of Unobserved Features
24. Altmetric Badge
    Chapter 23 Salsa : A Language for Search Algorithms
25. Altmetric Badge
    Chapter 24 Random Constraint Satisfaction: theory meets practice
26. Altmetric Badge
    Chapter 25 A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications
27. Altmetric Badge
    Chapter 26 Safe Datalog Queries with Linear Constraints
28. Altmetric Badge
    Chapter 27 Non-systematic Search and Learning: An empirical study
29. Altmetric Badge
    Chapter 28 A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems
30. Altmetric Badge
    Chapter 29 Linear concurrent constraint programming over reals
31. Altmetric Badge
    Chapter 30 Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems
32. Altmetric Badge
    Chapter 31 A Polynomial Time Local Propagation Algorithm for General Datafow Constraint Problems
33. Altmetric Badge
    Chapter 32 Stable Solutions for Dynamic Constraint Satisfaction Problems
34. Altmetric Badge
    Chapter 33 Generation of Test Patterns for Differential Diagnosis of Digital Circuits
35. Altmetric Badge
    Chapter 34 Combine & Conquer: Genetic Algorithm and CP for Optimization
36. Altmetric Badge
    Chapter 35 Some Experiments on Learning Soft Constraints
37. Altmetric Badge
    Chapter 36 Scheduling Multi-Capacitated Resources under Complex Temporal Constraints
38. Altmetric Badge
    Chapter 37 Implementing Global Constraints with Index-Sets and Constraint Templates
39. Altmetric Badge
    Chapter 38 Generating feasible schedules for a pick-up and delivery problem
40. Altmetric Badge
    Chapter 39 An Impartial Efficiency Comparison of FD Constraint Systems
41. Altmetric Badge
    Chapter 40 Optimizing with constraints: a case study in scheduling maintenance of electric power units
42. Altmetric Badge
    Chapter 41 Some Surprising Regularities in the Behaviour of Stochastic Local Search
43. Altmetric Badge
    Chapter 42 Modelling CSP Solution Algorithms with Petri Decision Nets
44. Altmetric Badge
    Chapter 43 A Framework for Assertion-based Debugging in Constraint Logic Programming
45. Altmetric Badge
    Chapter 44 Parallel Execution Models for Constraint Propagation
46. Altmetric Badge
    Chapter 45 Using Blocks for Constraint Satisfaction
47. Altmetric Badge
    Chapter 46 Adaptive Solving of Equations over Rational Trees
48. Altmetric Badge
    Chapter 47 Optimal Placement of Base Stations in Wireless Indoor Telecommunication