Principles and Practice of Constraint Programming - CP 2001: 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, ProceedingsToby Walsh Springer, 30 de juny 2003 - 794 pàgines This book constitutes the refereed proceedings of the 7th International Conference on Principles and Practice of Constraint Programming, CP 2001, held in Paphos, Cyprus, in November/December 2001. The 37 revised full papers, 9 innovative applications presentations, and 14 short papers presented were carefully reviewed and selected from a total of 135 submissions. All current issues in constraint processing are addressed, ranging from theoretical and foundational issues to advanced and innovative applications in a variety of fields. |
Des de l'interior del llibre
Resultats 1 - 5 de 56.
Pàgina 28
... increasing distance order. We then build graph of nearest neighbours. Each node has one outgoing arc, the nearest neighbour, and some incoming arcs from the nodes that consider it to be their nearest neighbour. The trigger for the ...
... increasing distance order. We then build graph of nearest neighbours. Each node has one outgoing arc, the nearest neighbour, and some incoming arcs from the nodes that consider it to be their nearest neighbour. The trigger for the ...
Pàgina 51
... increasing degree order with comment strengths from 10 down. Max Degree is its dual, rating in decreasing degree order. Min Domain supports the selection of uncolored vertices in increasing order of the number of their current legal ...
... increasing degree order with comment strengths from 10 down. Max Degree is its dual, rating in decreasing degree order. Min Domain supports the selection of uncolored vertices in increasing order of the number of their current legal ...
Pàgina 52
... increased by .1, until, after 10 sets of comments, the discount factor reaches 1.0, where it remains. Early in an Advisor's use, its weight is the product of its learned weight and its discount factor; after 10 sets of comments, its ...
... increased by .1, until, after 10 sets of comments, the discount factor reaches 1.0, where it remains. Early in an Advisor's use, its weight is the product of its learned weight and its discount factor; after 10 sets of comments, its ...
Pàgina 64
... increased by one. The objective of the strategy is to maximize the expected value of the following function at the end of the process: = ∑. N. ⎛. ⎜. ∑. K. ×−α. ,0max⎛⎜⎝∑=K. ⎞. k. −. ⎞⎟⎠. (1). F. ⎟. ⎜. ⎝. Pv. knk 1 ,. CPwknk ...
... increased by one. The objective of the strategy is to maximize the expected value of the following function at the end of the process: = ∑. N. ⎛. ⎜. ∑. K. ×−α. ,0max⎛⎜⎝∑=K. ⎞. k. −. ⎞⎟⎠. (1). F. ⎟. ⎜. ⎝. Pv. knk 1 ,. CPwknk ...
Pàgina 66
... increasing this number up to 1000 leads to an average gain of 8.23%. Table 1. Influence of the number of samples (1000 runs on the “master” problem) Number of samples 8 10 20 50 100 1000 average gain (%) 1.67 2.8 6.85 7.89 7.95 8.23. 4.
... increasing this number up to 1000 leads to an average gain of 8.23%. Table 1. Influence of the number of samples (1000 runs on the “master” problem) Number of samples 8 10 20 50 100 1000 average gain (%) 1.67 2.8 6.85 7.89 7.95 8.23. 4.
Continguts
1 | |
16 | |
31 | |
46 | |
61 | |
Global Cut Framework for Removing Symmetries | 77 |
Symmetry Breaking | 93 |
The Nonexistence of 312Conjugate Orthogonal Idempotent Latin Square of Order 10 | 108 |
Deriving Explanations and Implications for Constraint Satisfaction Problems | 585 |
Generating Trade offs for Interactive ConstraintBased Configuration | 590 |
Structural ConstraintBased Modeling and Reasoning with Basic Configuration Cells | 595 |
An Application to Choco | 600 |
Solving Boolean Satisfiability Using Local Search Guided by Unit Clause Elimination | 605 |
GAC on Conjunctions of Constraints | 610 |
Dual Models of Permutation Problems | 615 |
Boosting Local Search with Artificial Ants | 620 |
The Plot Thickens Further | 121 |
Capturing Structure with Satisfiability | 137 |
Phase Transitions and Backbones of 3SAT and Maximum 3SAT | 153 |
Solving Nonbinary CSPs Using the Hidden Variable Encoding | 168 |
A Filtering Algorithm for the Stretch Constraint | 183 |
Network Flow Problems in Constraint Programming | 196 |
Pruning for the Minimum Constraint Family and for the Number of Distinct Values Constraint Family | 211 |
A Constraint Programming Approach to the Stable Marriage Problem | 225 |
Components for State Restoration in Tree Search | 240 |
Adaptive Constraint Handling with CHR in Java | 256 |
Consistency Maintenance for ABT | 271 |
ConstraintBased Verification of ClientServer Protocols | 286 |
A Temporal Concurrent Constraint Programming Calculus | 302 |
Lower Bounds for Nonbinary Constraint Optimization Problems | 317 |
New Lower Bounds of Constraint Violations for OverConstrained Problems | 332 |
A General Scheme for Multiple Lower BoundComputation in Constraint Optimization | 346 |
Solving Disjunctive Constraints for Interactive Graphical Applications | 361 |
Sweep as a Generic Pruning Technique Applied to the Nonoverlapping Rectangles Constraint | 377 |
Nonoverlapping Constraints between Convex Polytopes | 392 |
Formal Models of HeavyTailed Behavior in Combinatorial Search | 408 |
The Phase Transition of the Linear Inequalities Problem | 422 |
In Search of a Phase Transition in theACMatching Problem | 433 |
Specific Filtering Algorithms for OverConstrained Problems | 451 |
Specializing Russian Doll Search | 464 |
A CLP Approach to the Protein SideChain Placement Problem | 479 |
Fast ConstraintBased Threading of HPSequences to Hydrophobic Cores | 494 |
One Flip per Clock Cycle | 509 |
Solving Constraints over FloatingPoint Numbers | 524 |
Optimal Pruning in Parametric Differential Equations | 539 |
Interaction of Constraint Programming and Local Search for Optimisation Problems | 554 |
An Efficient Filtering Technique Combining Domain Partition and Arc Consistency | 560 |
NeighborhoodBased Variable Ordering Heuristics for the Constraint Satisfaction Problem | 565 |
The Expressive Power of Binary Linear Programming | 570 |
Constraint Generationvia Automated Theory Formation | 575 |
The Traveling Tournament Problem Description and Benchmarks | 580 |
Fast Optimal Instruction Scheduling forSingleIssue Processors with Arbitrary Latencies | 625 |
Evaluation of Search Heuristics for Embedded System Scheduling Problems | 640 |
Interpreting Sloppy Stick Figures with ConstraintBased Subgraph Matching | 655 |
Some Lessons from the Constraint Reasoning Community Point of View | 670 |
A Dynamic Distributed Constraint Satisfaction Approach to Resource Allocation | 685 |
A Constraint Optimization Framework for Mapping a Digital Signal Processing Applicationon to a Parallel Architecture | 701 |
A Software Toolkit for Heuristic Search Methods | 716 |
A Prototype to Solve CSPs with Abstraction | 730 |
A Constraint Engine for Manufacturing Process Planning | 745 |
On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems | 760 |
Automatic Generation of Implied Clauses for SAT | 761 |
Verification of InfiniteState Systems by Specialization of CLP Programs | 762 |
Partially Ordered Constraint Optimization Problems | 763 |
Translations for Comparing Soft Frameworks | 764 |
Counting Satisfiable kCNF Formulas | 765 |
HighLevel Modelling and Reformulationof Constraint Satisfaction Problems | 766 |
Distributed Constraint Satisfaction as a Computational Model of Negotiation via Argumentation | 767 |
Aircraft Assignment Using Constraint Programming | 768 |
Labelling Heuristicsfor CSP Application Domains | 769 |
Improving SAT Algorithms by Using Search Pruning Techniques | 770 |
Optimum Symmetry Breaking in CSPs Using Group Theory | 771 |
Distributed Dynamic Backtracking | 772 |
Constraint Programming for Distributed Resource Allocation | 773 |
Exploiting the CSP Structure by Interchangeability | 774 |
Constraint Processing Techniques for ModelBased Reasoning about Dynamic Systems | 776 |
Distributed Constraint Satisfaction with Cooperating Asynchronous Solvers | 777 |
Building Negative Reduced Cost Paths Using Constraint Programming | 778 |
The Hyperpolyhedron Search Algorithm | 779 |
Partial Stable Generated Models of Generalized Logic Programs with Constraints | 781 |
Heterogeneous Constraint Problems An Outline of the Field of Work | 783 |
Comparing SAT Encodings for Model Checking | 784 |
Asynchronous Search for Numeric DisCSPs | 785 |
Temporal Concurrent Constraint Programming | 786 |
Author Index | 787 |
Altres edicions - Mostra-ho tot
Principles and Practice of Constraint Programming - CP 2001: 7th ... Toby Walsh Previsualització limitada - 2001 |
Principles and Practice of Constraint Programming - CP 2001: 7th ... Toby Walsh Previsualització no disponible - 2014 |
Principles and Practice of Constraint Programming - CP 2001: 7th ... Toby Walsh Previsualització no disponible - 2001 |
Frases i termes més freqüents
abstract agents algorithm allocation allows application approach assignment backtracking binary branching called clauses combination complexity Computer configuration consider consistency constraint programming constraints contains corresponding cost defined Definition denote described distributed domain dynamic efficient encoding evaluation example exists experiments Figure filtering finite function given gives global graph heuristic implementation improve increasing initial instances integer interval linear logic lower bound matching means method minimal node Note objective obtained operations optimal performance phase possible present problem programming propagation properties proposed pruning random reasoning relation removed represents resource respectively rules satisfied scheduling selected sequence solution solver solving space specific step strategy structure subproblem symmetries Table task techniques transition tree variables