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ț: 461.83 lei - 20%
Preț: 461.57 lei - 20%
Preț: 424.26 lei - 20%
Preț: 390.69 lei - 20%
Preț: 498.50 lei - 15%
Preț: 388.50 lei - 20%
Preț: 390.35 lei - 20%
Preț: 460.98 lei - 20%
Preț: 461.52 lei - 20%
Preț: 497.55 lei - 20%
Preț: 389.72 lei - 20%
Preț: 461.83 lei - 20%
Preț: 389.90 lei - 20%
Preț: 497.04 lei - 20%
Preț: 462.05 lei - 20%
Preț: 391.14 lei - 20%
Preț: 389.85 lei - 20%
Preț: 461.32 lei - 20%
Preț: 498.32 lei - 20%
Preț: 496.64 lei - 20%
Preț: 532.28 lei - 20%
Preț: 527.36 lei - 20%
Preț: 498.46 lei - 15%
Preț: 461.85 lei - 20%
Preț: 390.12 lei - 20%
Preț: 532.41 lei - 20%
Preț: 462.24 lei - 20%
Preț: 391.14 lei - 20%
Preț: 461.77 lei - 20%
Preț: 390.35 lei - 20%
Preț: 461.06 lei - 20%
Preț: 461.65 lei - 20%
Preț: 390.18 lei - 20%
Preț: 392.64 lei - 20%
Preț: 252.15 lei - 20%
Preț: 390.94 lei - 20%
Preț: 461.52 lei - 20%
Preț: 391.86 lei - 20%
Preț: 532.54 lei - 20%
Preț: 462.67 lei - 20%
Preț: 461.65 lei - 20%
Preț: 639.72 lei - 20%
Preț: 255.91 lei - 15%
Preț: 535.92 lei - 20%
Preț: 535.77 lei - 5%
Preț: 516.27 lei - 20%
Preț: 499.36 lei - 20%
Preț: 391.20 lei - 20%
Preț: 391.20 lei - 20%
Preț: 249.95 lei
Preț: 639.38 lei
Preț vechi: 799.23 lei
-20% Nou
Puncte Express: 959
Preț estimativ în valută:
113.12€ • 132.99$ • 99.08£
113.12€ • 132.99$ • 99.08£
Carte disponibilă
Livrare economică 07-21 ianuarie 26
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