↓ Skip to main content

Principles and practice of constraint programming--CP 2006 : 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006 : proceedings

Overview of attention for book
Cover of 'Principles and practice of constraint programming--CP 2006 : 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006 : proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Global Optimization of Probabilistically Constrained Linear Programs
  3. Altmetric Badge
    Chapter 2 Algorithms and Constraint Programming
  4. Altmetric Badge
    Chapter 3 Interval Analysis and Robotics
  5. Altmetric Badge
    Chapter 4 Constraint Based Resilience Analysis
  6. Altmetric Badge
    Chapter 5 Infinite Qualitative Simulations by Means of Constraint Programming
  7. Altmetric Badge
    Chapter 6 Algorithms for Stochastic CSPs
  8. Altmetric Badge
    Chapter 7 Graph Properties Based Filtering
  9. Altmetric Badge
    Chapter 8 The ROOTS Constraint
  10. Altmetric Badge
    Chapter 9 CoJava: Optimization Modeling by Nondeterministic Simulation
  11. Altmetric Badge
    Chapter 10 An Algebraic Characterisation of Complexity for Valued Constraint
  12. Altmetric Badge
    Chapter 11 Typed Guarded Decompositions for Constraint Satisfaction
  13. Altmetric Badge
    Chapter 12 Propagation in CSP and SAT
  14. Altmetric Badge
    Chapter 13 The Minimum Spanning Tree Constraint
  15. Altmetric Badge
    Chapter 14 Impact of Censored Sampling on the Performance of Restart Strategies
  16. Altmetric Badge
    Chapter 15 Watched Literals for Constraint Propagation in Minion
  17. Altmetric Badge
    Chapter 16 Inner and Outer Approximations of Existentially Quantified Equality Constraints
  18. Altmetric Badge
    Chapter 17 Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms
  19. Altmetric Badge
    Chapter 18 Adaptive Clause Weight Redistribution
  20. Altmetric Badge
    Chapter 19 Localization of an Underwater Robot Using Interval Constraint Propagation
  21. Altmetric Badge
    Chapter 20 Approximability of Integer Programming with Generalised Constraints
  22. Altmetric Badge
    Chapter 21 When Constraint Programming and Local Search Solve the Scheduling Problem of Electricité de France Nuclear Power Plant Outages
  23. Altmetric Badge
    Chapter 22 Generalized Arc Consistency for Positive Table Constraints
  24. Altmetric Badge
    Chapter 23 Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs
  25. Altmetric Badge
    Chapter 24 Boosting Open CSPs
  26. Altmetric Badge
    Chapter 25 Compiling Constraint Networks into AND/OR Multi-valued Decision Diagrams (AOMDDs)
  27. Altmetric Badge
    Chapter 26 Distributed Constraint-Based Local Search
  28. Altmetric Badge
    Chapter 27 High-Level Nondeterministic Abstractions in C++
  29. Altmetric Badge
    Chapter 28 Principles and Practice of Constraint Programming - CP 2006
  30. Altmetric Badge
    Chapter 29 When Interval Analysis Helps Inter-block Backtracking
  31. Altmetric Badge
    Chapter 30 Randomization in Constraint Programming for Airline Planning
  32. Altmetric Badge
    Chapter 31 Towards an Efficient SAT Encoding for Temporal Reasoning
  33. Altmetric Badge
    Chapter 32 Decomposition of Multi-operator Queries on Semiring-Based Graphical Models
  34. Altmetric Badge
    Chapter 33 Dynamic Lex Constraints
  35. Altmetric Badge
    Chapter 34 Generalizing AllDifferent : The SomeDifferent Constraint
  36. Altmetric Badge
    Chapter 35 Mini-bucket Elimination with Bucket Propagation
  37. Altmetric Badge
    Chapter 36 Constraint Satisfaction with Bounded Treewidth Revisited
  38. Altmetric Badge
    Chapter 37 Preprocessing QBF
  39. Altmetric Badge
    Chapter 38 The Theory of Grammar Constraints
  40. Altmetric Badge
    Chapter 39 Constraint Programming Models for Graceful Graphs
  41. Altmetric Badge
    Chapter 40 A Simple Distribution-Free Approach to the Max k -Armed Bandit Problem
  42. Altmetric Badge
    Chapter 41 Generating Propagators for Finite Set Constraints
  43. Altmetric Badge
    Chapter 42 Compiling Finite Linear CSP into SAT
  44. Altmetric Badge
    Chapter 43 Differentiable Invariants
  45. Altmetric Badge
    Chapter 44 Revisiting the Sequence Constraint
  46. Altmetric Badge
    Chapter 45 BlockSolve : A Bottom-Up Approach for Solving Quantified CSPs
  47. Altmetric Badge
    Chapter 46 General Symmetry Breaking Constraints
  48. Altmetric Badge
    Chapter 47 Inferring Variable Conflicts for Local Search
  49. Altmetric Badge
    Chapter 48 Reasoning by Dominance in Not-Equals Binary Constraint Networks
  50. Altmetric Badge
    Chapter 49 Distributed Stable Matching Problems with Ties and Incomplete Lists
  51. Altmetric Badge
    Chapter 50 Soft Arc Consistency Applied to Optimal Planning
  52. Altmetric Badge
    Chapter 51 A Note on Low Autocorrelation Binary Sequences
  53. Altmetric Badge
    Chapter 52 Relaxations and Explanations for Quantified Constraint Satisfaction Problems
  54. Altmetric Badge
    Chapter 53 Static and Dynamic Structural Symmetry Breaking
  55. Altmetric Badge
    Chapter 54 The Modelling Language Zinc
  56. Altmetric Badge
    Chapter 55 A Filter for the Circuit Constraint
  57. Altmetric Badge
    Chapter 56 A New Algorithm for Sampling CSP Solutions Uniformly at Random
  58. Altmetric Badge
    Chapter 57 Sports League Scheduling: Enumerative Search for Prob026 from CSPLib
  59. Altmetric Badge
    Chapter 58 Dynamic Symmetry Breaking Restarted
  60. Altmetric Badge
    Chapter 59 The Effect of Constraint Representation on Structural Tractability
  61. Altmetric Badge
    Chapter 60 Failure Analysis in Backtrack Search for Constraint Satisfaction
  62. Altmetric Badge
    Chapter 61 Heavy-Tailed Runtime Distributions: Heuristics, Models and Optimal Refutations
  63. Altmetric Badge
    Chapter 62 An Extension of Complexity Bounds and Dynamic Heuristics for Tree-Decompositions of CSP
  64. Altmetric Badge
    Chapter 63 Clique Inference Process for Solving Max-CSP
  65. Altmetric Badge
    Chapter 64 Global Grammar Constraints
  66. Altmetric Badge
    Chapter 65 Constraint Propagation for Domain Bounding in Distributed Task Scheduling
  67. Altmetric Badge
    Chapter 66 Interactive Distributed Configuration
  68. Altmetric Badge
    Chapter 67 Retroactive Ordering for Dynamic Backtracking
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page
q&a
1 Q&A thread

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
6 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 2006 : 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006 : proceedings
Published by
Springer, January 2006
DOI 10.1007/11889205
ISBNs
978-3-54-046267-5, 978-3-54-046268-2
Authors

Benhamou, Frédéric

Editors

Benhamou, Frédéric

Mendeley readers

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

Geographical breakdown

Country Count As %
Italy 1 17%
Unknown 5 83%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 33%
Researcher 2 33%
Professor 1 17%
Student > Master 1 17%
Readers by discipline Count As %
Computer Science 5 83%
Engineering 1 17%