↓ 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 Back to the Complexity of Universal Programs
  3. Altmetric Badge
    Chapter 2 A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine
  4. Altmetric Badge
    Chapter 3 Planning and Scheduling the Operation of a Very Large Oil Pipeline Network
  5. Altmetric Badge
    Chapter 4 Search Strategies for Rectangle Packing
  6. Altmetric Badge
    Chapter 5 Solving a Telecommunications Feature Subscription Configuration Problem
  7. Altmetric Badge
    Chapter 6 Protein Structure Prediction with Large Neighborhood Constraint Programming Search
  8. Altmetric Badge
    Chapter 7 An Application of Constraint Programming to Superblock Instruction Scheduling
  9. Altmetric Badge
    Chapter 8 Classes of Submodular Constraints Expressible by Graph Cuts
  10. Altmetric Badge
    Chapter 9 Optimization of Simple Tabular Reduction for Table Constraints
  11. Altmetric Badge
    Chapter 10 Universal Booleanization of Constraint Models
  12. Altmetric Badge
    Chapter 11 Flow-Based Propagators for the SEQUENCE and Related Global Constraints
  13. Altmetric Badge
    Chapter 12 Guiding Search in QCSP  +  with Back-Propagation
  14. Altmetric Badge
    Chapter 13 A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of Solutions
  15. Altmetric Badge
    Chapter 14 A Branch and Bound Algorithm for Numerical MAX-CSP
  16. Altmetric Badge
    Chapter 15 A Geometric Constraint over k -Dimensional Objects and Shapes Subject to Business Rules
  17. Altmetric Badge
    Chapter 16 Cost-Based Domain Filtering for Stochastic Constraint Programming
  18. Altmetric Badge
    Chapter 17 Dichotomic Search Protocols for Constrained Optimization
  19. Altmetric Badge
    Chapter 18 Length-Lex Bounds Consistency for Knapsack Constraints
  20. Altmetric Badge
    Chapter 19 A Framework for Hybrid Tractability Results in Boolean Weighted Constraint Satisfaction Problems
  21. Altmetric Badge
    Chapter 20 From High Girth Graphs to Hard Instances
  22. Altmetric Badge
    Chapter 21 Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SAT
  23. Altmetric Badge
    Chapter 22 CPBPV: A Constraint-Programming Framework for Bounded Program Verification
  24. Altmetric Badge
    Chapter 23 Exploiting Common Subexpressions in Numerical CSPs
  25. Altmetric Badge
    Chapter 24 A Soft Constraint of Equality: Complexity and Approximability
  26. Altmetric Badge
    Chapter 25 Structural Tractability of Propagated Constraints
  27. Altmetric Badge
    Chapter 26 Connecting ABT with Arc Consistency
  28. Altmetric Badge
    Chapter 27 Elicitation Strategies for Fuzzy Constraint Problems with Missing Preferences: Algorithms and Experimental Studies
  29. Altmetric Badge
    Chapter 28 Reformulating Positive Table Constraints Using Functional Dependencies
  30. Altmetric Badge
    Chapter 29 Relaxations for Compiled Over-Constrained Problems
  31. Altmetric Badge
    Chapter 30 Approximate Compilation of Constraints into Multivalued Decision Diagrams
  32. Altmetric Badge
    Chapter 31 Quantified Constraint Optimization
  33. Altmetric Badge
    Chapter 32 Exploiting Decomposition in Constraint Optimization Problems
  34. Altmetric Badge
    Chapter 33 A Coinduction Rule for Entailment of Recursively Defined Properties
  35. Altmetric Badge
    Chapter 34 Maintaining Generalized Arc Consistency on Ad Hoc r -Ary Constraints
  36. Altmetric Badge
    Chapter 35 Perfect Constraints Are Tractable
  37. Altmetric Badge
    Chapter 36 Efficiently Solving Problems Where the Solutions Form a Group
  38. Altmetric Badge
    Chapter 37 Approximate Solution Sampling (and Counting) on AND/OR Spaces
  39. Altmetric Badge
    Chapter 38 Model Restarts for Structural Symmetry Breaking
  40. Altmetric Badge
    Chapter 39 An Elimination Algorithm for Functional Constraints
  41. Altmetric Badge
    Chapter 40 Crossword Puzzles as a Constraint Problem
  42. Altmetric Badge
    Chapter 41 Recent Hybrid Techniques for the Multi-Knapsack Problem
  43. Altmetric Badge
    Chapter 42 Edge Matching Puzzles as Hard SAT/CSP Benchmarks
  44. Altmetric Badge
    Chapter 43 Test Strategy Generation Using Quantified CSPs
  45. Altmetric Badge
    Chapter 44 Perfect Derived Propagators
  46. Altmetric Badge
    Chapter 45 Refined Bounds for Instance-Based Search Complexity of Counting and Other #P Problems
  47. Altmetric Badge
    Chapter 46 Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation
  48. Altmetric Badge
    Chapter 47 Semi-automatic Generation of CHR Solvers for Global Constraints
  49. Altmetric Badge
    Chapter 48 Stochastic Local Search for the Optimal Winner Determination Problem in Combinatorial Auctions
  50. Altmetric Badge
    Chapter 49 Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm
  51. Altmetric Badge
    Chapter 50 Computing All Optimal Solutions in Satisfiability Problems with Preferences
  52. Altmetric Badge
    Chapter 51 On the Efficiency of Impact Based Heuristics
  53. Altmetric Badge
    Chapter 52 Probabilistically Estimating Backbones and Variable Bias: Experimental Overview
  54. Altmetric Badge
    Chapter 53 A New Empirical Study of Weak Backdoors
  55. Altmetric Badge
    Chapter 54 Adding Search to Zinc
  56. Altmetric Badge
    Chapter 55 Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms
  57. Altmetric Badge
    Chapter 56 Search Space Reduction for Constraint Optimization Problems
  58. Altmetric Badge
    Chapter 57 Engineering Stochastic Local Search for the Low Autocorrelation Binary Sequence Problem
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
1 Wikipedia page
q&a
2 Q&A threads

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
97 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
Published by
Springer, January 2008
DOI 10.1007/978-3-540-85958-1
ISBNs
978-3-54-085957-4, 978-3-54-085958-1
Authors

Stuckey, Peter J

Editors

Stuckey, Peter J.

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

Geographical breakdown

Country Count As %
France 2 2%
United States 1 1%
Portugal 1 1%
Italy 1 1%
Unknown 92 95%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 30 31%
Student > Master 16 16%
Researcher 10 10%
Other 7 7%
Student > Bachelor 6 6%
Other 18 19%
Unknown 10 10%
Readers by discipline Count As %
Computer Science 61 63%
Engineering 12 12%
Business, Management and Accounting 5 5%
Decision Sciences 2 2%
Agricultural and Biological Sciences 2 2%
Other 4 4%
Unknown 11 11%