Produktbild: Principles and Practice of Constraint Programming - CP 2010
Band 6308

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings

99,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.08.2010

Herausgeber

David Cohen

Verlag

Springer Berlin

Seitenzahl

650

Maße (L/B/H)

23,9/15,8/2,5 cm

Gewicht

963 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-15395-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.08.2010

Herausgeber

David Cohen

Verlag

Springer Berlin

Seitenzahl

650

Maße (L/B/H)

23,9/15,8/2,5 cm

Gewicht

963 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-15395-2

Herstelleradresse

Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg
DE
ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

  • Produktbild: Principles and Practice of Constraint Programming - CP 2010
  • 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.