Principles and Practice of Constraint Programming — CP 2001 : 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Hybrid Benders Decomposition Algorithms in Constraint Logic Programming
3. Altmetric Badge
   Chapter 2 Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming
4. Altmetric Badge
   Chapter 3 Towards Inductive Constraint Solving
5. Altmetric Badge
   Chapter 4 Collaborative Learning for Constraint Solving
6. Altmetric Badge
   Chapter 5 Towards Stochastic Constraint Programming: A Study of Onine Multi-Choice Knapsack with Deadlines
7. Altmetric Badge
   Chapter 6 Global Cut Framework for Removing Symmetries
8. Altmetric Badge
   Chapter 7 Symmetry Breaking
9. Altmetric Badge
   Chapter 8 The Non-existence of (3,1,2)-Conjugate Orthogonal Idempotent Latin Square of Order 10
10. Altmetric Badge
    Chapter 9 Random 3-SAT and BDDs: The Plot Thickens Further
11. Altmetric Badge
    Chapter 10 Capturing Structure with Satisfiability
12. Altmetric Badge
    Chapter 11 Phase Transitions and Backbones of 3-SAT and Maximum 3-SAT
13. Altmetric Badge
    Chapter 12 Solving Non-binary CSPs Using the Hidden Variable Encoding
14. Altmetric Badge
    Chapter 13 A Filtering Algorithm for the Stretch Constraint
15. Altmetric Badge
    Chapter 14 Network Flow Problems in Constraint Programming
16. Altmetric Badge
    Chapter 15 Pruning for the Minimum Constraint Family and for the Number of Distinct Values Constraint Family
17. Altmetric Badge
    Chapter 16 A Constraint Programming Approach to the Stable Marriage Problem
18. Altmetric Badge
    Chapter 17 Components for State Restoration in Tree Search
19. Altmetric Badge
    Chapter 18 Adaptive Constraint Handling with CHR in Java
20. Altmetric Badge
    Chapter 19 Consistency Maintenance for ABT
21. Altmetric Badge
    Chapter 20 Constraint-Based Verification of Client-Server Protocols
22. Altmetric Badge
    Chapter 21 A Temporal Concurrent Constraint Programming Calculus
23. Altmetric Badge
    Chapter 22 Lower Bounds for Non-binary Constraint Optimization Problems
24. Altmetric Badge
    Chapter 23 New Lower Bounds of Constraint Violations for Over-Constrained Problems
25. Altmetric Badge
    Chapter 24 A General Scheme for Multiple Lower Bound Computation in Constraint Optimization
26. Altmetric Badge
    Chapter 25 Solving Disjunctive Constraints for Interactive Graphical Applications
27. Altmetric Badge
    Chapter 26 Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint
28. Altmetric Badge
    Chapter 27 Non-overlapping Constraints between Convex Polytopes
29. Altmetric Badge
    Chapter 28 Formal Models of Heavy-Tailed Behavior in Combinatorial Search
30. Altmetric Badge
    Chapter 29 The Phase Transition of the Linear Inequalities Problem
31. Altmetric Badge
    Chapter 30 In Search of a Phase Transition in the AC-Matching Problem
32. Altmetric Badge
    Chapter 31 Specific Filtering Algorithms for Over-Constrained Problems
33. Altmetric Badge
    Chapter 32 Specializing Russian Doll Search
34. Altmetric Badge
    Chapter 33 A CLP Approach to the Protein Side-Chain Placement Problem
35. Altmetric Badge
    Chapter 34 Fast, Constraint-Based Threading of HP-Sequences to Hydrophobic Cores
36. Altmetric Badge
    Chapter 35 One Flip per Clock Cycle
37. Altmetric Badge
    Chapter 36 Solving Constraints over Floating-Point Numbers
38. Altmetric Badge
    Chapter 37 Optimal Pruning in Parametric Differential Equations
39. Altmetric Badge
    Chapter 38 Interaction of Constraint Programming and Local Search for Optimisation Problems
40. Altmetric Badge
    Chapter 39 Partition-k-AC: An Efficient Filtering Technique Combining Domain Partition and Arc Consistency
41. Altmetric Badge
    Chapter 40 Neighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem
42. Altmetric Badge
    Chapter 41 The Expressive Power of Binary Linear Programming
43. Altmetric Badge
    Chapter 42 Constraint Generation via Automated Theory Formation
44. Altmetric Badge
    Chapter 43 The Traveling Tournament Problem Description and Benchmarks
45. Altmetric Badge
    Chapter 44 Deriving Explanations and Implications for Constraint Satisfaction Problems
46. Altmetric Badge
    Chapter 45 Generating Tradeoffs for Interactive Constraint-Based Configuration
47. Altmetric Badge
    Chapter 46 Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells
48. Altmetric Badge
    Chapter 47 Composition Operators for Constraint Propagation:An Application to Choco
49. Altmetric Badge
    Chapter 48 Solving Boolean Satisfiability Using Local Search Guided by Unit Clause Elimination
50. Altmetric Badge
    Chapter 49 GAC on Conjunctions of Constraints
51. Altmetric Badge
    Chapter 50 Dual Models of Permutation Problems
52. Altmetric Badge
    Chapter 51 Boosting Local Search with Artificial Ants
53. Altmetric Badge
    Chapter 52 Fast Optimal Instruction Scheduling for Single-Issue Processors with Arbitrary Latencies
54. Altmetric Badge
    Chapter 53 Evaluation of Search Heuristics for Embedded System Scheduling Problems
55. Altmetric Badge
    Chapter 54 Interpreting Sloppy Stick Figures with Constraint-Based Subgraph Matching
56. Altmetric Badge
    Chapter 55 Selecting and Scheduling Observations for Agile Satellites: Some Lessons from the Constraint Reasoning Community Point of View
57. Altmetric Badge
    Chapter 56 A Dynamic Distributed Constraint Satisfaction Approach to Resource Allocation
58. Altmetric Badge
    Chapter 57 A Constraint Optimization Framework for Mapping a Digital Signal Processing Application onto a Parallel Architecture
59. Altmetric Badge
    Chapter 58 iOpt: A Software Toolkit for Heuristic Search Methods
60. Altmetric Badge
    Chapter 59 AbsCon: A Prototype to Solve CSPs with Abstraction
61. Altmetric Badge
    Chapter 60 A Constraint Engine for Manufacturing Process Planning
62. Altmetric Badge
    Chapter 61 On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems
63. Altmetric Badge
    Chapter 62 Automatic Generation of Implied Clauses for SAT
64. Altmetric Badge
    Chapter 63 Verification of Infinite-State Systems by Specialization of CLP Programs
65. Altmetric Badge
    Chapter 64 Partially Ordered Constraint Optimization Problems
66. Altmetric Badge
    Chapter 65 Translations for Comparing Soft Frameworks
67. Altmetric Badge
    Chapter 66 Counting Satisfiable k -CNF Formulas
68. Altmetric Badge
    Chapter 67 High-Level Modelling and Reformulation of Constraint Satisfaction Problems
69. Altmetric Badge
    Chapter 68 Distributed Constraint Satisfaction as a Computational Model of Negotiation via Argumentation
70. Altmetric Badge
    Chapter 69 Aircraft Assignment Using Constraint Programming
71. Altmetric Badge
    Chapter 70 Labelling Heuristics for CSP Application Domains
72. Altmetric Badge
    Chapter 71 Improving SAT Algorithms by Using Search Pruning Techniques
73. Altmetric Badge
    Chapter 72 Optimum Symmetry Breaking in CSPs Using Group Theory
74. Altmetric Badge
    Chapter 73 Distributed Dynamic Backtracking
75. Altmetric Badge
    Chapter 74 Constraint Programming for Distributed Resource Allocation
76. Altmetric Badge
    Chapter 75 Exploiting the CSP Structure by Interchangeability
77. Altmetric Badge
    Chapter 76 Constraint Processing Techniques for Model-Based Reasoning about Dynamic Systems
78. Altmetric Badge
    Chapter 77 Distributed Constraint Satisfaction with Cooperating Asynchronous Solvers
79. Altmetric Badge
    Chapter 78 Building Negative Reduced Cost Paths Using Constraint Programming
80. Altmetric Badge
    Chapter 79 An Incremental and Non-binary CSP Solver: The Hyperpolyhedron Search Algorithm
81. Altmetric Badge
    Chapter 80 Partial Stable Generated Models of Generalized Logic Programs with Constraints
82. Altmetric Badge
    Chapter 81 Heterogeneous Constraint Problems An Outline of the Field of Work
83. Altmetric Badge
    Chapter 82 Comparing SAT Encodings for Model Checking
84. Altmetric Badge
    Chapter 83 Asynchronous Search for Numeric DisCSPs
85. Altmetric Badge
    Chapter 84 Temporal Concurrent Constraint Programming