↓ Skip to main content

Principles and Practice of Constraint Programming - CP 2002

Overview of attention for book
Cover of 'Principles and Practice of Constraint Programming - CP 2002'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Reduced Cost-Based Ranking for Generating Promising Subproblems
  3. Altmetric Badge
    Chapter 2 Integrating Constraint and Integer Programming for the Orthogonal Latin Squares Problem
  4. Altmetric Badge
    Chapter 3 On Optimal Correction of Inconsistent Linear Constraints
  5. Altmetric Badge
    Chapter 4 Temporal Planning through Mixed Integer Programming: A Preliminary Report
  6. Altmetric Badge
    Chapter 5 A New Multi-resource cumulatives Constraint with Negative Heights
  7. Altmetric Badge
    Chapter 6 On the Sum Constraint: Relaxation and Applications
  8. Altmetric Badge
    Chapter 7 Global Constraints for Lexicographic Orderings
  9. Altmetric Badge
    Chapter 8 A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations
  10. Altmetric Badge
    Chapter 9 Amplification of Search Performance through Randomization of Heuristics
  11. Altmetric Badge
    Chapter 10 Computing the Envelope for Stepwise-Constant Resource Allocations
  12. Altmetric Badge
    Chapter 11 Local Probing Applied to Scheduling
  13. Altmetric Badge
    Chapter 12 A Hybrid Approach for SAT
  14. Altmetric Badge
    Chapter 13 Recovering and Exploiting Structural Knowledge from CNF Formulas
  15. Altmetric Badge
    Chapter 14 Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation
  16. Altmetric Badge
    Chapter 15 Accelerating Random Walks
  17. Altmetric Badge
    Chapter 16 Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT
  18. Altmetric Badge
    Chapter 17 Learning and Solving Soft Temporal Constraints: An Experimental Study
  19. Altmetric Badge
    Chapter 18 Opportunistic Specialization in Russian Doll Search
  20. Altmetric Badge
    Chapter 19 Range-Based Algorithm for Max-CSP
  21. Altmetric Badge
    Chapter 20 Resolution Complexity of Random Constraints
  22. Altmetric Badge
    Chapter 21 Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics
  23. Altmetric Badge
    Chapter 22 Determining the Number of Solutions to Binary CSP Instances
  24. Altmetric Badge
    Chapter 23 Consistency Checking for Qualitative Spatial Reasoning with Cardinal Directions
  25. Altmetric Badge
    Chapter 24 Open Constraint Satisfaction
  26. Altmetric Badge
    Chapter 25 Beyond NP: Arc-Consistency for Quantified Constraints
  27. Altmetric Badge
    Chapter 26 Secure Distributed Constraint Satisfaction: Reaching Agreement without Revealing Private Information
  28. Altmetric Badge
    Chapter 27 A Dual Graph Translation of a Problem in ‘Life’
  29. Altmetric Badge
    Chapter 28 Groups and Constraints: Symmetry Breaking during Search
  30. Altmetric Badge
    Chapter 29 Partial Symmetry Breaking
  31. Altmetric Badge
    Chapter 30 Symmetry Breaking Revisited
  32. Altmetric Badge
    Chapter 31 Breaking Row and Column Symmetries in Matrix Models
  33. Altmetric Badge
    Chapter 32 Solving the Kirkman’s Schoolgirl Problem in a Few Seconds
  34. Altmetric Badge
    Chapter 33 Inferring Constraint Types in Constraint Programming
  35. Altmetric Badge
    Chapter 34 Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State
  36. Altmetric Badge
    Chapter 35 The Adaptive Constraint Engine
  37. Altmetric Badge
    Chapter 36 Indexical-Based Solver Learning
  38. Altmetric Badge
    Chapter 37 Learning the Empirical Hardness of Optimization Problems: The Case of Combinatorial Auctions
  39. Altmetric Badge
    Chapter 38 Restart Policies with Dependence among Runs: A Dynamic Programming Approach
  40. Altmetric Badge
    Chapter 39 Visopt ShopFloor: On the Edge of Planning and Scheduling
  41. Altmetric Badge
    Chapter 40 Constraint Programming Contribution to Benders Decomposition: A Case Study
  42. Altmetric Badge
    Chapter 41 Modeling Camera Control with Constrained Hypertubes
  43. Altmetric Badge
    Chapter 42 Robust and Parallel Solving of a Network Design Problem
  44. Altmetric Badge
    Chapter 43 Connections Reservation with Rerouting for ATM Networks: A Hybrid Approach with Constraints
  45. Altmetric Badge
    Chapter 44 Communication and Computation in Distributed CSP Algorithms
  46. Altmetric Badge
    Chapter 45 Continuous First-Order Constraint Satisfaction with Equality and Disequality Constraints
  47. Altmetric Badge
    Chapter 46 A Relaxation of the Cumulative Constraint
  48. Altmetric Badge
    Chapter 47 Improving GSAT Using 2SAT
  49. Altmetric Badge
    Chapter 48 A Relational Constraint Solver for Model-Based Engineering
  50. Altmetric Badge
    Chapter 49 Conflict-Based Repair Techniques for Solving Dynamic Scheduling Problems
  51. Altmetric Badge
    Chapter 50 Scaling Properties of Pure Random Walk on Random 3-SAT
  52. Altmetric Badge
    Chapter 51 Criticality and Parallelism in Structured SAT Instances
  53. Altmetric Badge
    Chapter 52 Characterizing SAT Problems with the Row Convexity Property
  54. Altmetric Badge
    Chapter 53 Interchangeability in Soft CSPs
  55. Altmetric Badge
    Chapter 54 On Constraint Problems with Incomplete or Erroneous Data
  56. Altmetric Badge
    Chapter 55 Heuristic Constraint Propagation
  57. Altmetric Badge
    Chapter 56 An Arc-Consistency Algorithm for the Minimum Weight All Different Constraint
  58. Altmetric Badge
    Chapter 57 Algebraic Properties of CSP Model Operators
  59. Altmetric Badge
    Chapter 58 AC-3 d an Efficient Arc-Consistency Algorithm with a Low Space-Complexity
  60. Altmetric Badge
    Chapter 59 Integrating Search Objects in Asynchronous Constraint Solving
  61. Altmetric Badge
    Chapter 60 Distributed Constraint-Based Railway Simulation
  62. Altmetric Badge
    Chapter 61 Symmetry Breaking in Peaceably Coexisting Armies of Queens
  63. Altmetric Badge
    Chapter 62 Batch Processing with Sequence Dependent Setup Times
  64. Altmetric Badge
    Chapter 63 Interactive Heuristic Search Algorithm
  65. Altmetric Badge
    Chapter 64 On Constraint Problems with Incomplete or Erroneous Data
  66. Altmetric Badge
    Chapter 65 Design of a New Metaheuristic for MAXSAT Problems
  67. Altmetric Badge
    Chapter 66 Disjunctive and Continuous Constraint Satisfaction Problems
  68. Altmetric Badge
    Chapter 67 Tuning Randomization in Backtrack Search SAT Algorithms
  69. Altmetric Badge
    Chapter 68 Constraint Solving in Test-Data Generation
  70. Altmetric Badge
    Chapter 69 Improving Cost Calculations for Global Constraints in Local Search
  71. Altmetric Badge
    Chapter 70 A Modeling Framework for Constraints
  72. Altmetric Badge
    Chapter 71 A Linear Programming Based Satisfiability Solver Using a New Horn-Driven Search Tree Design
  73. Altmetric Badge
    Chapter 72 A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles
  74. Altmetric Badge
    Chapter 73 Using Constraint Propagation to Accelerate Column Generation in Aircraft Scheduling
  75. Altmetric Badge
    Chapter 74 Solving and Learning Soft Temporal Constraints; Ceteris Paribus Statements Represented as Soft Constraints Problems
  76. Altmetric Badge
    Chapter 75 A Partially Solved Form for Heterogeneous Constraints in Disjunctive Normal Form
  77. Altmetric Badge
    Chapter 76 Models of Injection Problems
  78. Altmetric Badge
    Chapter 77 Partial Symmetry Breaking
  79. Altmetric Badge
    Chapter 78 Automatic Generation of Implied Clauses for SAT
  80. Altmetric Badge
    Chapter 79 Bridging the Gap between SAT and CSP
  81. Altmetric Badge
    Chapter 80 Reducing Symmetry in Matrix Models
  82. Altmetric Badge
    Chapter 81 Studying Interchangeability in Constraint Satisfaction Problems
  83. Altmetric Badge
    Chapter 82 Constraint Modeling in the Context of Academic Task Assignment
  84. Altmetric Badge
    Chapter 83 Design Tradeoffs for Autonomous Trading Agents
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

policy
2 policy sources
twitter
1 X user
wikipedia
9 Wikipedia pages

Citations

dimensions_citation
12 Dimensions

Readers on

mendeley
18 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 2002
Published by
Springer Science & Business Media, August 2002
DOI 10.1007/3-540-46135-3
ISBNs
978-3-54-044120-5, 978-3-54-046135-7
Editors

Hentenryck, Pascal

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 18 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Portugal 2 11%
Russia 1 6%
Germany 1 6%
France 1 6%
United Kingdom 1 6%
Italy 1 6%
Japan 1 6%
Belgium 1 6%
Saudi Arabia 1 6%
Other 1 6%
Unknown 7 39%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 18 100%
Researcher 14 78%
Student > Master 8 44%
Professor > Associate Professor 6 33%
Student > Bachelor 6 33%
Other 8 44%
Readers by discipline Count As %
Computer Science 38 211%
Business, Management and Accounting 6 33%
Engineering 5 28%
Unspecified 4 22%
Physics and Astronomy 2 11%
Other 5 28%