↓ Skip to main content

Principles and Practice of Constraint Programming – CP 2010

Overview of attention for book
Cover of 'Principles and Practice of Constraint Programming – CP 2010'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering
  3. Altmetric Badge
    Chapter 2 Constraint-Directed Search in Computational Finance and Economics
  4. Altmetric Badge
    Chapter 3 Constraints, Graphs, Algebra, Logic, and Complexity
  5. Altmetric Badge
    Chapter 4 Testing Expressibility Is Hard
  6. Altmetric Badge
    Chapter 5 Applying Constraint Programming to Identification and Assignment of Service Professionals
  7. Altmetric Badge
    Chapter 6 Computing the Density of States of Boolean Formulas
  8. Altmetric Badge
    Chapter 7 Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP
  9. Altmetric Badge
    Chapter 8 Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity
  10. Altmetric Badge
    Chapter 9 Improving the Performance of maxRPC
  11. Altmetric Badge
    Chapter 10 Checking-Up on Branch-and-Check
  12. Altmetric Badge
    Chapter 11 Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows
  13. Altmetric Badge
    Chapter 12 Principles and Practice of Constraint Programming – CP 2010
  14. Altmetric Badge
    Chapter 13 Propagating the Bin Packing Constraint Using Linear Programming
  15. Altmetric Badge
    Chapter 14 Sweeping with Continuous Domains
  16. Altmetric Badge
    Chapter 15 A New Hybrid Tractable Class of Soft Constraint Problems
  17. Altmetric Badge
    Chapter 16 A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies
  18. Altmetric Badge
    Chapter 17 Using Learnt Clauses in maxsat
  19. Altmetric Badge
    Chapter 18 Domain Consistency with Forbidden Values
  20. Altmetric Badge
    Chapter 19 Generating Special-Purpose Stateless Propagators for Arbitrary Constraints
  21. Altmetric Badge
    Chapter 20 Including Ordinary Differential Equations Based Constraints in the Standard CP Framework
  22. Altmetric Badge
    Chapter 21 Structural Tractability of Enumerating CSP Solutions
  23. Altmetric Badge
    Chapter 22 Diversification and Intensification in Parallel SAT Solving
  24. Altmetric Badge
    Chapter 23 A Systematic Approach to MDD-Based Constraint Programming
  25. Altmetric Badge
    Chapter 24 A Complete Multi-valued SAT Solver
  26. Altmetric Badge
    Chapter 25 Exact Cover via Satisfiability: An Empirical Study
  27. Altmetric Badge
    Chapter 26 Principles and Practice of Constraint Programming – CP 2010
  28. Altmetric Badge
    Chapter 27 Principles and Practice of Constraint Programming – CP 2010
  29. Altmetric Badge
    Chapter 28 On Testing Constraint Programs
  30. Altmetric Badge
    Chapter 29 On the Containment of Forbidden Patterns Problems
  31. Altmetric Badge
    Chapter 30 Improving the Floating Point Addition and Subtraction Constraints
  32. Altmetric Badge
    Chapter 31 The Lattice Structure of Sets of Surjective Hyper-Operations
  33. Altmetric Badge
    Chapter 32 Constraint Based Scheduling to Deal with Uncertain Durations and Self-Timed Execution
  34. Altmetric Badge
    Chapter 33 Local Consistency and SAT-Solvers
  35. Altmetric Badge
    Chapter 34 Heuristics for Planning with SAT
  36. Altmetric Badge
    Chapter 35 Value-Ordering Heuristics: Search Performance vs. Solution Diversity
  37. Altmetric Badge
    Chapter 36 A New ${\mathcal O}(n^2\log n)$ Not-First/Not-Last Pruning Algorithm for Cumulative Resource Constraints
  38. Altmetric Badge
    Chapter 37 A Generic Visualization Platform for CP
  39. Altmetric Badge
    Chapter 38 Database Constraints and Homomorphism Dualities
  40. Altmetric Badge
    Chapter 39 A Box-Consistency Contractor Based on Extremal Functions
  41. Altmetric Badge
    Chapter 40 Exponential Propagation for Set Variables
  42. Altmetric Badge
    Chapter 41 An Empirical Study of Optimization for Maximizing Diffusion in Networks
  43. Altmetric Badge
    Chapter 42 An Integrated Modelling, Debugging, and Visualisation Environment for G12
  44. Altmetric Badge
    Chapter 43 Global Constraints on Feature Models
  45. Altmetric Badge
    Chapter 44 Constraint Programming for Mining n-ary Patterns
  46. Altmetric Badge
    Chapter 45 An Integrated Business Rules and Constraints Approach to Data Centre Capacity Management
  47. Altmetric Badge
    Chapter 46 Context-Sensitive Call Control Using Constraints and Rules
  48. Altmetric Badge
    Chapter 47 Load Balancing and Almost Symmetries for RAMBO Quorum Hosting
  49. Altmetric Badge
    Chapter 48 Testing Continuous Double Auctions with a Constraint-Based Oracle
  50. Altmetric Badge
    Chapter 49 A Safe and Flexible CP-Based Approach for Velocity Tuning Problems
  51. Altmetric Badge
    Chapter 50 Contingency Plans for Air Traffic Management
Overall attention for this book and its chapters
Altmetric Badge

About this Attention Score

  • In the top 25% of all research outputs scored by Altmetric
  • High Attention Score compared to outputs of the same age (94th percentile)
  • High Attention Score compared to outputs of the same age and source (96th percentile)

Mentioned by

twitter
35 X users

Readers on

mendeley
15 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 2010
Published by
ADS, January 2010
DOI 10.1007/978-3-642-15396-9
ISBNs
978-3-64-215395-2, 978-3-64-215396-9
Editors

David Cohen

X Demographics

X Demographics

The data shown below were collected from the profiles of 35 X users 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 15 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United States 1 7%
Unknown 14 93%

Demographic breakdown

Readers by professional status Count As %
Researcher 1 7%
Unknown 14 93%
Readers by discipline Count As %
Computer Science 1 7%
Unknown 14 93%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 16. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 08 September 2021.
All research outputs
#2,018,260
of 23,172,045 outputs
Outputs from ADS
#1,150
of 37,552 outputs
Outputs of similar age
#9,841
of 165,448 outputs
Outputs of similar age from ADS
#32
of 800 outputs
Altmetric has tracked 23,172,045 research outputs across all sources so far. Compared to these this one has done particularly well and is in the 91st percentile: it's in the top 10% of all research outputs ever tracked by Altmetric.
So far Altmetric has tracked 37,552 research outputs from this source. They receive a mean Attention Score of 4.6. This one has done particularly well, scoring higher than 96% of its peers.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 165,448 tracked outputs that were published within six weeks on either side of this one in any source. This one has done particularly well, scoring higher than 94% of its contemporaries.
We're also able to compare this research output to 800 others from the same source and published within six weeks on either side of this one. This one has done particularly well, scoring higher than 96% of its contemporaries.