↓ Skip to main content

Principles and Practice of Constraint Programming

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Modular Architecture for Hybrid Planning with Theories
  3. Altmetric Badge
    Chapter 2 Teaching Constraint Programming
  4. Altmetric Badge
    Chapter 3 One Problem, Two Structures, Six Solvers, and Ten Years of Personnel Scheduling
  5. Altmetric Badge
    Chapter 4 Concurrent Constraint Programming Research Programmes – Redux
  6. Altmetric Badge
    Chapter 5 On Broken Triangles
  7. Altmetric Badge
    Chapter 6 Using CP in Automatic Test Generation for ABB Robotics’ Paint Control System
  8. Altmetric Badge
    Chapter 7 On Compiling CNF into Decision-DNNF
  9. Altmetric Badge
    Chapter 8 A Complete Solver for Constraint Games
  10. Altmetric Badge
    Chapter 9 Encoding Linear Constraints into SAT
  11. Altmetric Badge
    Chapter 10 Efficient Application of Max-SAT Resolution on Inconsistent Subsets
  12. Altmetric Badge
    Chapter 11 Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers
  13. Altmetric Badge
    Chapter 12 Scoring-Based Neighborhood Dominance for the Subgraph Isomorphism Problem
  14. Altmetric Badge
    Chapter 13 Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators
  15. Altmetric Badge
    Chapter 14 The Propagation Depth of Local Consistency
  16. Altmetric Badge
    Chapter 15 Principles and Practice of Constraint Programming
  17. Altmetric Badge
    Chapter 16 Experimental Comparison of BTD and Intelligent Backtracking: Towards an Automatic Per-instance Algorithm Selector
  18. Altmetric Badge
    Chapter 17 Solving Intensional Weighted CSPs by Incremental Optimization with BDDs
  19. Altmetric Badge
    Chapter 18 On Backdoors to Tractable Constraint Languages
  20. Altmetric Badge
    Chapter 19 Nested Constraint Programs
  21. Altmetric Badge
    Chapter 20 Beyond Consistency and Substitutability
  22. Altmetric Badge
    Chapter 21 Subexponential Time Complexity of CSP with Global Constraints
  23. Altmetric Badge
    Chapter 22 A New Characterization of Relevant Intervals for Energetic Reasoning
  24. Altmetric Badge
    Chapter 23 A Declarative Paradigm for Robust Cumulative Scheduling
  25. Altmetric Badge
    Chapter 24 Improving DPOP with Branch Consistency for Solving Distributed Constraint Optimization Problems
  26. Altmetric Badge
    Chapter 25 Constraint-Based Lagrangian Relaxation
  27. Altmetric Badge
    Chapter 26 Loop Untangling
  28. Altmetric Badge
    Chapter 27 Discriminating Instance Generation for Automated Constraint Model Selection
  29. Altmetric Badge
    Chapter 28 Aggregating CP-nets with Unfeasible Outcomes
  30. Altmetric Badge
    Chapter 29 The StockingCost Constraint
  31. Altmetric Badge
    Chapter 30 Scalable Parallel Numerical CSP Solver
  32. Altmetric Badge
    Chapter 31 Tree-Decompositions with Connected Clusters for Solving Constraint Networks
  33. Altmetric Badge
    Chapter 32 CIP and MIQP Models for the Load Balancing Nurse-to-Patient Assignment Problem
  34. Altmetric Badge
    Chapter 33 On the Erdős Discrepancy Problem
  35. Altmetric Badge
    Chapter 34 Towards Practical Infinite Stream Constraint Programming: Applications and Implementation
  36. Altmetric Badge
    Chapter 35 An Increasing-Nogoods Global Constraint for Symmetry Breaking During Search
  37. Altmetric Badge
    Chapter 36 Memory-Efficient Tree Size Prediction for Depth-First Search in Graphical Models
  38. Altmetric Badge
    Chapter 37 Higher-Order Consistencies through GAC on Factor Variables
  39. Altmetric Badge
    Chapter 38 Incremental QBF Solving
  40. Altmetric Badge
    Chapter 39 Incremental Cardinality Constraints for MaxSAT
  41. Altmetric Badge
    Chapter 40 Reducing the Branching in a Branch and Bound Algorithm for the Maximum Clique Problem
  42. Altmetric Badge
    Chapter 41 Core-Guided MaxSAT with Soft Cardinality Constraints
  43. Altmetric Badge
    Chapter 42 The IntSat Method for Integer Linear Programming
  44. Altmetric Badge
    Chapter 43 Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination
  45. Altmetric Badge
    Chapter 44 Improving GAC-4 for Table and MDD Constraints
  46. Altmetric Badge
    Chapter 45 Improvement of the Embarrassingly Parallel Search for Data Centers
  47. Altmetric Badge
    Chapter 46 Stochastic MiniZinc
  48. Altmetric Badge
    Chapter 47 Decomposing Utility Functions in Bounded Max-Sum for Distributed Constraint Optimization
  49. Altmetric Badge
    Chapter 48 Insights into Parallelism with Intensive Knowledge Sharing
  50. Altmetric Badge
    Chapter 49 The Non-overlapping Constraint between Objects Described by Non-linear Inequalities
  51. Altmetric Badge
    Chapter 50 Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning
  52. Altmetric Badge
    Chapter 51 Domain Views for Constraint Programming
  53. Altmetric Badge
    Chapter 52 Global Constraints in Distributed CSP: Concurrent GAC and Explanations in ABT
  54. Altmetric Badge
    Chapter 53 The Impact of Wireless Communication on Distributed Constraint Satisfaction
  55. Altmetric Badge
    Chapter 54 Adaptive Parameterized Consistency for Non-binary CSPs by Counting Supports
  56. Altmetric Badge
    Chapter 55 Proactive Workload Dispatching on the EURORA Supercomputer
  57. Altmetric Badge
    Chapter 56 Scheduling B2B Meetings
  58. Altmetric Badge
    Chapter 57 Solving a Judge Assignment Problem Using Conjunctions of Global Cost Functions
  59. Altmetric Badge
    Chapter 58 Worst-Case Scheduling of Software Tasks
  60. Altmetric Badge
    Chapter 59 Continuous Casting Scheduling with Constraint Programming
  61. Altmetric Badge
    Chapter 60 Case Study: Constraint Programming in a System Level Synthesis Framework
  62. Altmetric Badge
    Chapter 61 Scheduling Agents Using Forecast Call Arrivals at Hydro-Québec’s Call Centers
  63. Altmetric Badge
    Chapter 62 Deployment of Mobile Wireless Sensor Networks for Crisis Management: A Constraint-Based Local Search Approach
  64. Altmetric Badge
    Chapter 63 Air Traffic Controller Shift Scheduling by Reduction to CSP, SAT and SAT-Related Problems
  65. Altmetric Badge
    Chapter 64 Optimization Bounds from Binary Decision Diagrams
  66. Altmetric Badge
    Chapter 65 Reformulation Based MaxSAT Robustness
  67. Altmetric Badge
    Chapter 66 Probabilistic Constraints for Nonlinear Inverse Problems
  68. Altmetric Badge
    Chapter 67 Multivalued Decision Diagrams for Sequencing Problems
  69. Altmetric Badge
    Chapter 68 Robustness and Stability in Constraint Programming under Dynamism and Uncertainty
  70. Altmetric Badge
    Chapter 69 Monotone Temporal Planning: Tractability, Extensions and Applications
  71. Altmetric Badge
    Chapter 70 Anytime AND/OR Depth-First Search for Combinatorial Optimization
  72. Altmetric Badge
    Chapter 71 View-Based Propagator Derivation
Attention for Chapter 39: Incremental Cardinality Constraints for MaxSAT
Altmetric Badge

Mentioned by

twitter
2 tweeters

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
14 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.
Chapter title
Incremental Cardinality Constraints for MaxSAT
Chapter number 39
Book title
Principles and Practice of Constraint Programming
Published in
arXiv, September 2014
DOI 10.1007/978-3-319-10428-7_39
Book ISBNs
978-3-31-910427-0, 978-3-31-910428-7
Authors

Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce, Ines Lynce

Twitter Demographics

The data shown below were collected from the profiles of 2 tweeters who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 14 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 7 50%
Unspecified 1 7%
Student > Bachelor 1 7%
Student > Doctoral Student 1 7%
Student > Master 1 7%
Other 2 14%
Unknown 1 7%
Readers by discipline Count As %
Computer Science 10 71%
Engineering 2 14%
Unspecified 1 7%
Unknown 1 7%

Attention Score in Context

This research output has an Altmetric Attention Score of 1. 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 21 August 2014.
All research outputs
#3,053,544
of 4,507,652 outputs
Outputs from arXiv
#156,648
of 282,379 outputs
Outputs of similar age
#73,685
of 113,793 outputs
Outputs of similar age from arXiv
#4
of 4 outputs
Altmetric has tracked 4,507,652 research outputs across all sources so far. This one is in the 20th percentile – i.e., 20% of other outputs scored the same or lower than it.
So far Altmetric has tracked 282,379 research outputs from this source. They receive a mean Attention Score of 2.3. This one is in the 22nd percentile – i.e., 22% of its peers scored the same or lower than it.
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 113,793 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 25th percentile – i.e., 25% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 4 others from the same source and published within six weeks on either side of this one.