Principles and Practice of Constraint Programming - CP 2010
Springer Berlin (Verlag)
978-3-642-15395-2 (ISBN)
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.
Erscheint lt. Verlag | 30.8.2010 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
Zusatzinfo | XX, 650 p. 145 illus. |
Verlagsort | Berlin |
Sprache | englisch |
Gewicht | 942 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Schlagworte | Algorithm analysis and problem complexity • algorithms • complexitx • Constraint • Constraint Logic Programming • constraint networks • Constraint Satisfaction • CSP heuristics • csp moduls • CSP solving • distributed constraints • Expert System • Modeling • Multimedia • Ontologie • Optimization • Programming language • Programming language A • SAT • satisfiability • semantic web |
ISBN-10 | 3-642-15395-X / 364215395X |
ISBN-13 | 978-3-642-15395-2 / 9783642153952 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich