↓ Skip to main content

Principles and Practice of Constraint Programming : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Overview of attention for book
Cover of 'Principles and Practice of Constraint Programming : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Optimization for Policy Making: The Cornerstone for an Integrated Approach
  3. Altmetric Badge
    Chapter 2 Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning
  4. Altmetric Badge
    Chapter 3 Those Who Cannot Remember the Past Are Condemned to Repeat It
  5. Altmetric Badge
    Chapter 4 Decide Different!
  6. Altmetric Badge
    Chapter 5 The Objective-CP Optimization System
  7. Altmetric Badge
    Chapter 6 Parallel Discrepancy-Based Search
  8. Altmetric Badge
    Chapter 7 Bin Packing with Linear Usage Costs – An Application to Energy Management in Data Centres
  9. Altmetric Badge
    Chapter 8 Filtering AtMostNValue with Difference Constraints: Application to the Shift Minimisation Personnel Task Scheduling Problem
  10. Altmetric Badge
    Chapter 9 A parametric approach for smaller and better encodings of cardinality constraints
  11. Altmetric Badge
    Chapter 10 To Encode or to Propagate? The Best Choice for Each Constraint in SAT
  12. Altmetric Badge
    Chapter 11 Automated Symmetry Breaking and Model Selection in Conjure
  13. Altmetric Badge
    Chapter 12 Improving WPM2 for (Weighted) Partial MaxSAT
  14. Altmetric Badge
    Chapter 13 MinSAT versus MaxSAT for Optimization Problems
  15. Altmetric Badge
    Chapter 14 Adaptive Parameterized Consistency
  16. Altmetric Badge
    Chapter 15 Global Inverse Consistency for Interactive Constraint Satisfaction
  17. Altmetric Badge
    Chapter 16 Counting Spanning Trees to Guide Search in Constrained Spanning Tree Problems
  18. Altmetric Badge
    Chapter 17 On the Reduction of the CSP Dichotomy Conjecture to Digraphs
  19. Altmetric Badge
    Chapter 18 A Scalable Approximate Model Counter
  20. Altmetric Badge
    Chapter 19 Dominance Driven Search
  21. Altmetric Badge
    Chapter 20 Tractable Combinations of Global Constraints
  22. Altmetric Badge
    Chapter 21 Postponing Optimization to Speed Up MAXSAT Solving
  23. Altmetric Badge
    Chapter 22 Dead-End Elimination for Weighted CSP
  24. Altmetric Badge
    Chapter 23 Solving Weighted CSPs by Successive Relaxations
  25. Altmetric Badge
    Chapter 24 Constraint-Based Program Reasoning with Heaps and Separation
  26. Altmetric Badge
    Chapter 25 Model Combinators for Hybrid Optimization
  27. Altmetric Badge
    Chapter 26 Modelling Destructive Assignments
  28. Altmetric Badge
    Chapter 27 An Improved Search Algorithm for Min-Perturbation
  29. Altmetric Badge
    Chapter 28 Explaining Propagators for Edge-Valued Decision Diagrams
  30. Altmetric Badge
    Chapter 29 A Simple and Effective Decomposition for the Multidimensional Binpacking Constraint
  31. Altmetric Badge
    Chapter 30 Maintaining Soft Arc Consistencies in BnB-ADOPT +  during Search
  32. Altmetric Badge
    Chapter 31 Solving String Constraints: The Case for Constraint Programming
  33. Altmetric Badge
    Chapter 32 Blowing Holes in Various Aspects of Computational Problems, with Applications to Constraint Satisfaction
  34. Altmetric Badge
    Chapter 33 Solving QBF with Free Variables
  35. Altmetric Badge
    Chapter 34 Globalizing Constraint Models
  36. Altmetric Badge
    Chapter 35 A New Propagator for Two-Layer Neural Networks in Empirical Model Learning
  37. Altmetric Badge
    Chapter 36 Bandit-Based Search for Constraint Programming
  38. Altmetric Badge
    Chapter 37 Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability
  39. Altmetric Badge
    Chapter 38 Multi-Objective Constraint Optimization with Tradeoffs
  40. Altmetric Badge
    Chapter 39 Multidimensional Bin Packing Revisited
  41. Altmetric Badge
    Chapter 40 A Parametric Propagator for Discretely Convex Pairs of Sum Constraints
  42. Altmetric Badge
    Chapter 41 Breaking Symmetry with Different Orderings
  43. Altmetric Badge
    Chapter 42 Time-Table Extended-Edge-Finding for the Cumulative Constraint
  44. Altmetric Badge
    Chapter 43 Revisiting the Cardinality Reasoning for BinPacking Constraint
  45. Altmetric Badge
    Chapter 44 Value Interchangeability in Scenario Generation
  46. Altmetric Badge
    Chapter 45 Embarrassingly Parallel Search
  47. Altmetric Badge
    Chapter 46 Multi-Objective Large Neighborhood Search
  48. Altmetric Badge
    Chapter 47 Scheduling Optional Tasks with Explanation
  49. Altmetric Badge
    Chapter 48 Residential Demand Response under Uncertainty
  50. Altmetric Badge
    Chapter 49 Lifting Structural Tractability to CSP with Global Constraints
  51. Altmetric Badge
    Chapter 50 Empirical Study of the Behavior of Conflict Analysis in CDCL Solvers
  52. Altmetric Badge
    Chapter 51 Primal and Dual Encoding from Applications into Quantified Boolean Formulas
  53. Altmetric Badge
    Chapter 52 Asynchronous Forward Bounding Revisited
  54. Altmetric Badge
    Chapter 53 Optimizing STR Algorithms with Tuple Compression
  55. Altmetric Badge
    Chapter 54 Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker
  56. Altmetric Badge
    Chapter 55 Solving the Agricultural Land Allocation Problem by Constraint-Based Local Search
  57. Altmetric Badge
    Chapter 56 Constraint-Based Approaches for Balancing Bike Sharing Systems
  58. Altmetric Badge
    Chapter 57 Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems
  59. Altmetric Badge
    Chapter 58 Laser Cutting Path Planning Using CP
  60. Altmetric Badge
    Chapter 59 Atom Mapping with Constraint Programming
  61. Altmetric Badge
    Chapter 60 Beyond Feasibility: CP Usage in Constrained-Random Functional Hardware Verification
  62. Altmetric Badge
    Chapter 61 Stochastic Local Search Based Channel Assignment in Wireless Mesh Networks
  63. Altmetric Badge
    Chapter 62 Automatic Generation and Delivery of Multiple-Choice Math Quizzes
  64. Altmetric Badge
    Chapter 63 Constrained Wine Blending
  65. Altmetric Badge
    Chapter 64 The Berth Allocation and Quay Crane Assignment Problem Using a CP Approach
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

blogs
1 blog
twitter
5 tweeters
q&a
1 Q&A thread

Readers on

mendeley
113 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 : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Published by
Springer, September 2013
DOI 10.1007/978-3-642-40627-0
ISBNs
978-3-64-240627-0, 978-3-64-240626-3
Editors

Schulte, Christian

Twitter Demographics

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

Geographical breakdown

Country Count As %
Unknown 113 100%

Demographic breakdown

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