↓ Skip to main content

Principles and Practice of Constraint Programming – CP 2004 : 10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004. Proceedings

Overview of attention for book
Cover of 'Principles and Practice of Constraint Programming – CP 2004 : 10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004. Proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Constraints in Program Analysis and Verification
  3. Altmetric Badge
    Chapter 2 Constraint Programming Next Challenge: Simplicity of Use
  4. Altmetric Badge
    Chapter 3 Algorithmic Adventures at the Interface of Computer Science, Statistical Physics, and Combinatorics
  5. Altmetric Badge
    Chapter 4 Challenges for Constraint Programming in Networking
  6. Altmetric Badge
    Chapter 5 Consistency and Random Constraint Satisfaction Models with a High Constraint Tightness
  7. Altmetric Badge
    Chapter 6 Statistical Regimes Across Constrainedness Regions
  8. Altmetric Badge
    Chapter 7 Constraint-Based Combinators for Local Search
  9. Altmetric Badge
    Chapter 8 Unary Resource Constraint with Optional Activities
  10. Altmetric Badge
    Chapter 9 Constraint Propagation as a Proof System
  11. Altmetric Badge
    Chapter 10 Backtrack-Free Search for Real-Time Constraint Satisfaction
  12. Altmetric Badge
    Chapter 11 Deriving Filtering Algorithms from Constraint Checkers
  13. Altmetric Badge
    Chapter 12 Leveraging the Learning Power of Examples in Automated Constraint Acquisition
  14. Altmetric Badge
    Chapter 13 Disjoint, Partition and Intersection Constraints for Set and Multiset Variables
  15. Altmetric Badge
    Chapter 14 Decomposition and Learning for a Hard Real Time Task Allocation Problem
  16. Altmetric Badge
    Chapter 15 Quantified Constraint Satisfaction and 2-Semilattice Polymorphisms
  17. Altmetric Badge
    Chapter 16 (Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability
  18. Altmetric Badge
    Chapter 17 Heuristic Selection for Stochastic Search Optimization: Modeling Solution Quality by Extreme Value Theory
  19. Altmetric Badge
    Chapter 18 A Complete Characterization of Complexity for Boolean Constraint Optimization Problems
  20. Altmetric Badge
    Chapter 19 Financial Portfolio Optimisation
  21. Altmetric Badge
    Chapter 20 Bounding the Resource Availability of Partially Ordered Events with Constant Resource Impact
  22. Altmetric Badge
    Chapter 21 Monotone Literals and Learning in QBF Reasoning
  23. Altmetric Badge
    Chapter 22 Streamlined Constraint Reasoning
  24. Altmetric Badge
    Chapter 23 A Domain Consistency Algorithm for the Stretch Constraint
  25. Altmetric Badge
    Chapter 24 A Hybrid Method for Planning and Scheduling
  26. Altmetric Badge
    Chapter 25 Counting-Based Look-Ahead Schemes for Constraint Satisfaction
  27. Altmetric Badge
    Chapter 26 Completable Partial Solutions in Constraint Programming and Constraint-Based Scheduling
  28. Altmetric Badge
    Chapter 27 Set Domain Propagation Using ROBDDs
  29. Altmetric Badge
    Chapter 28 Global Constraints for Integer and Set Value Precedence
  30. Altmetric Badge
    Chapter 29 Quality of LP-Based Approximations for Highly Combinatorial Problems
  31. Altmetric Badge
    Chapter 30 Constraint Satisfaction in Semi-structured Data Graphs
  32. Altmetric Badge
    Chapter 31 Strategies for Global Optimization of Temporal Preferences
  33. Altmetric Badge
    Chapter 32 ID Walk : A Candidate List Strategy with a Simple Diversification Device
  34. Altmetric Badge
    Chapter 33 Understanding Random SAT: Beyond the Clauses-to-Variables Ratio
  35. Altmetric Badge
    Chapter 34 Symbolic Decision Procedures for QBF
  36. Altmetric Badge
    Chapter 35 Propagation Guided Large Neighborhood Search
  37. Altmetric Badge
    Chapter 36 A Regular Language Membership Constraint for Finite Sequences of Variables
  38. Altmetric Badge
    Chapter 37 Generating Robust Partial Order Schedules
  39. Altmetric Badge
    Chapter 38 Full Dynamic Substitutability by SAT Encoding
  40. Altmetric Badge
    Chapter 39 Improved Bound Computation in Presence of Several Clique Constraints
  41. Altmetric Badge
    Chapter 40 Improved Algorithms for the Global Cardinality Constraint
  42. Altmetric Badge
    Chapter 41 Impact-Based Search Strategies for Constraint Programming
  43. Altmetric Badge
    Chapter 42 The Cardinality Matrix Constraint
  44. Altmetric Badge
    Chapter 43 Controllability of Soft Temporal Constraint Problems
  45. Altmetric Badge
    Chapter 44 Hybrid Set Domains to Strengthen Constraint Propagation and Reduce Symmetries
  46. Altmetric Badge
    Chapter 45 Speeding Up Constraint Propagation
  47. Altmetric Badge
    Chapter 46 Theoretical Foundations of CP-Based Lagrangian Relaxation
  48. Altmetric Badge
    Chapter 47 A Constraint for Bin Packing
  49. Altmetric Badge
    Chapter 48 Solving Non-clausal Formulas with DPLL Search
  50. Altmetric Badge
    Chapter 49 A Hyper-arc Consistency Algorithm for the Soft Alldifferent Constraint
  51. Altmetric Badge
    Chapter 50 Efficient Strategies for (Weighted) Maximum Satisfiability
  52. Altmetric Badge
    Chapter 51 Preprocessing Techniques for Distributed Constraint Optimization
  53. Altmetric Badge
    Chapter 52 Variable Ordering Heuristics Show Promise
  54. Altmetric Badge
    Chapter 53 The Tractability of Global Constraints
  55. Altmetric Badge
    Chapter 54 Support Inference for Generic Filtering
  56. Altmetric Badge
    Chapter 55 Strong Cost-Based Filtering for Lagrange Decomposition Applied to Network Design
  57. Altmetric Badge
    Chapter 56 The Impact of AND/OR Search Spaces on Constraint Satisfaction and Counting
  58. Altmetric Badge
    Chapter 57 A General Extension of Constraint Propagation for Constraint Optimization
  59. Altmetric Badge
    Chapter 58 How Much Backtracking Does It Take to Color Random Graphs? Rigorous Results on Heavy Tails
  60. Altmetric Badge
    Chapter 59 Solving the Crane Scheduling Problem Using Intelligent Search Schemes
  61. Altmetric Badge
    Chapter 60 Algorithms for Quantified Constraint Satisfaction Problems
  62. Altmetric Badge
    Chapter 61 Improving the Applicability of Adaptive Consistency: Preliminary Results
  63. Altmetric Badge
    Chapter 62 On-Demand Bound Computation for Best-First Constraint Optimization
  64. Altmetric Badge
    Chapter 63 A New Algorithm for Maintaining Arc Consistency After Constraint Retraction
  65. Altmetric Badge
    Chapter 64 Computing the Frequency of Partial Orders
  66. Altmetric Badge
    Chapter 65 On Tightness of Constraints
  67. Altmetric Badge
    Chapter 66 Concurrent Dynamic Backtracking for Distributed CSPs
  68. Altmetric Badge
    Chapter 67 Set Variables and Local Search
  69. Altmetric Badge
    Chapter 68 N –Kings for Dynamic Systems
  70. Altmetric Badge
    Chapter 69 Relation Variables in Qualitative Spatial Reasoning
  71. Altmetric Badge
    Chapter 70 Synchronous, Asynchronous and Hybrid Algorithms for DisCSP
  72. Altmetric Badge
    Chapter 71 Long-Term Learning for Algorithm Control
  73. Altmetric Badge
    Chapter 72 Solution Extraction with the “Critical Path” in Graphplan-Based Optimal Temporal Planning
  74. Altmetric Badge
    Chapter 73 Machine Learning for Portfolio Selection Using Structure at the Instance Level
  75. Altmetric Badge
    Chapter 74 Local Search with Maximal Independent Sets
  76. Altmetric Badge
    Chapter 75 A Dynamic Restart Strategy for Randomized BT Search
  77. Altmetric Badge
    Chapter 76 A BDD-Based Approach to Interactive Configuration
  78. Altmetric Badge
    Chapter 77 Extending Super-solutions
  79. Altmetric Badge
    Chapter 78 Choosing Efficient Representations of Abstract Variables
  80. Altmetric Badge
    Chapter 79 A Hypergraph Separator Based Variable Ordering Heuristic for Solving Real World SAT
  81. Altmetric Badge
    Chapter 80 Exploiting Symmetries via Permutations for PC Board Manufacturing
  82. Altmetric Badge
    Chapter 81 Iterative Forward Search Algorithm: Combining Local Search with Maintaining Arc Consistency and a Conflict-Based Statistics
  83. Altmetric Badge
    Chapter 82 Programming Robotic Devices with a Timed Concurrent Constraint Language
  84. Altmetric Badge
    Chapter 83 Heuristics for the Distributed Breakout Algorithm
  85. Altmetric Badge
    Chapter 84 Explanations and Numeric CSPs
  86. Altmetric Badge
    Chapter 85 Softly Constrained CP Nets
  87. Altmetric Badge
    Chapter 86 Online Constraint Solving and Rectangle Packing
  88. Altmetric Badge
    Chapter 87 Modelling Chemical Reactions Using Constraint Programming and Molecular Graphs
  89. Altmetric Badge
    Chapter 88 Constraining Special-Purpose Domain Types
  90. Altmetric Badge
    Chapter 89 PLASMA: A Constraint Based Planning Architecture
  91. Altmetric Badge
    Chapter 90 Applying Constraint Satisfaction Techniques to 3D Camera Control
  92. Altmetric Badge
    Chapter 91 Adaptive Enterprise Optimization Framework: AEO Server and AEO Studio
  93. Altmetric Badge
    Chapter 92 CRE2 : A CP Application for Reconfiguring a Power Distribution Network for Power Losses Reduction
  94. Altmetric Badge
    Chapter 93 A Constraint-Based Planner Applied to Data Processing Domains
  95. Altmetric Badge
    Chapter 94 CLab: A C++ Library for Fast Backtrack-Free Interactive Product Configuration
  96. Altmetric Badge
    Chapter 95 A Constraint-Based System for Hiring and Managing Graduate Teaching Assistants
  97. Altmetric Badge
    Chapter 96 A Web-Based Meeting Scheduling Solver With Privacy Guarantees, Without Trusted Servers
  98. Altmetric Badge
    Chapter 97 A Constraint-Based Graphics Library for B-Prolog
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

news
1 news outlet
twitter
1 tweeter

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
63 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 2004 : 10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004. Proceedings
Published by
Springer Berlin Heidelberg, January 2005
DOI 10.1007/b100482
ISBNs
978-3-54-023241-4, 978-3-54-030201-8
Editors

Wallace, Mark

Twitter Demographics

The data shown below were collected from the profile of 1 tweeter 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 63 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 63 100%

Demographic breakdown

Readers by professional status Count As %
Unknown 63 100%
Readers by discipline Count As %
Unknown 63 100%