Principles and Practice of Constraint Programming - CP 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings: Lecture Notes in Computer Science, cartea 6308
Editat de David Cohenen Limba Engleză Paperback – 30 aug 2010
Din seria Lecture Notes in Computer Science
- 20% Preț: 1043.63 lei
- 20% Preț: 334.61 lei
- 20% Preț: 336.22 lei
- 20% Preț: 445.69 lei
- 20% Preț: 238.01 lei
- 20% Preț: 334.61 lei
- 20% Preț: 438.69 lei
- Preț: 442.03 lei
- 20% Preț: 337.87 lei
- 20% Preț: 148.66 lei
- 20% Preț: 310.26 lei
- 20% Preț: 256.27 lei
- 20% Preț: 634.41 lei
- 17% Preț: 427.22 lei
- 20% Preț: 643.99 lei
- 20% Preț: 307.71 lei
- 20% Preț: 1057.10 lei
- 20% Preț: 581.55 lei
- Preț: 374.84 lei
- 20% Preț: 331.36 lei
- 15% Preț: 431.22 lei
- 20% Preț: 607.39 lei
- 20% Preț: 538.29 lei
- Preț: 389.48 lei
- 20% Preț: 326.98 lei
- 20% Preț: 1390.89 lei
- 20% Preț: 1007.16 lei
- 20% Preț: 569.54 lei
- 20% Preț: 575.48 lei
- 20% Preț: 573.59 lei
- 20% Preț: 750.35 lei
- 15% Preț: 570.71 lei
- 17% Preț: 360.19 lei
- 20% Preț: 504.57 lei
- 20% Preț: 172.69 lei
- 20% Preț: 369.12 lei
- 20% Preț: 347.59 lei
- 20% Preț: 576.02 lei
- Preț: 404.00 lei
- 20% Preț: 586.43 lei
- 20% Preț: 750.35 lei
- 20% Preț: 812.01 lei
- 20% Preț: 649.49 lei
- 20% Preț: 344.34 lei
- 20% Preț: 309.90 lei
- 20% Preț: 122.89 lei
Preț: 653.89 lei
Preț vechi: 817.36 lei
-20% Nou
Puncte Express: 981
Preț estimativ în valută:
125.14€ • 130.37$ • 104.05£
125.14€ • 130.37$ • 104.05£
Carte disponibilă
Livrare economică 20 ianuarie-03 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783642153952
ISBN-10: 364215395X
Pagini: 672
Ilustrații: XX, 650 p. 145 illus.
Greutate: 0.96 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 364215395X
Pagini: 672
Ilustrații: XX, 650 p. 145 illus.
Greutate: 0.96 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
Professional/practitionerCuprins
Invited Talks.- SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering.- Constraint-Directed Search in Computational Finance and Economics.- Constraints, Graphs, Algebra, Logic, and Complexity.- Distinguished Papers.- Testing Expressibility Is Hard.- Applying Constraint Programming to Identification and Assignment of Service Professionals.- Computing the Density of States of Boolean Formulas.- Research Track.- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP.- Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity.- Improving the Performance of maxRPC.- Checking-Up on Branch-and-Check.- Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows.- Decomposition of the NValue Constraint.- Propagating the Bin Packing Constraint Using Linear Programming.- Sweeping with Continuous Domains.- A New Hybrid Tractable Class of Soft Constraint Problems.- A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies.- Using Learnt Clauses in maxsat.- Domain Consistency with Forbidden Values.- Generating Special-Purpose Stateless Propagators for Arbitrary Constraints.- Including Ordinary Differential Equations Based Constraints in the Standard CP Framework.- Structural Tractability of Enumerating CSP Solutions.- Diversification and Intensification in Parallel SAT Solving.- A Systematic Approach to MDD-Based Constraint Programming.- A Complete Multi-valued SAT Solver.- Exact Cover via Satisfiability: An Empirical Study.- On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry.- Ensemble Classification for Constraint Solver Configuration.- On Testing Constraint Programs.- On the Containment of Forbidden Patterns Problems.- Improving the Floating Point Addition and Subtraction Constraints.- The Lattice Structure of Sets of Surjective Hyper-Operations.- Constraint Based Scheduling to Deal with Uncertain Durations and Self-Timed Execution.- Local Consistency and SAT-Solvers.- Heuristics for Planning with SAT.- Value-Ordering Heuristics: Search Performance vs. Solution Diversity.- A New Not-First/Not-Last Pruning Algorithm for Cumulative Resource Constraints.- A Generic Visualization Platform for CP.- Database Constraints and Homomorphism Dualities.- A Box-Consistency Contractor Based on Extremal Functions.- Exponential Propagation for Set Variables.- Applications Track.- An Empirical Study of Optimization for Maximizing Diffusion in Networks.- An Integrated Modelling, Debugging, and Visualisation Environment for G12.- Global Constraints on Feature Models.- Constraint Programming for Mining n-ary Patterns.- An Integrated Business Rules and Constraints Approach to Data Centre Capacity Management.- Context-Sensitive Call Control Using Constraints and Rules.- Load Balancing and Almost Symmetries for RAMBO Quorum Hosting.- Testing Continuous Double Auctions with a Constraint-Based Oracle.- A Safe and Flexible CP-Based Approach for Velocity Tuning Problems.- Contingency Plans for Air Traffic Management.
Caracteristici
Fast conference proceedings State-of-the-art report Up to date results