↓ Skip to main content

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

Overview of attention for book
Cover of '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
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
patent
2 patents

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
39 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Principles and Practice of Constraint Programming — CP 2001 : 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings
Published by
Springer Berlin Heidelberg, June 2003
DOI 10.1007/3-540-45578-7
ISBNs
978-3-54-042863-3, 978-3-54-045578-3
Editors

Walsh, Toby

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 39 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 39 100%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 1 3%
Student > Ph. D. Student 1 3%
Student > Doctoral Student 1 3%
Unknown 36 92%
Readers by discipline Count As %
Computer Science 3 8%
Unknown 36 92%