Principles and Practice of Constraint Programming - CP98
Editat de Michael Maher, Jean-Francois Pugeten Limba Engleză Paperback – 9 oct 1998
Preț: 634.32 lei
Preț vechi: 792.91 lei
-20%
Puncte Express: 951
Carte tipărită la comandă
Livrare economică 24 iulie-07 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540652243
ISBN-10: 3540652248
Pagini: 504
Ilustrații: XIV, 490 p.
Dimensiuni: 155 x 235 x 28 mm
Greutate: 0.76 kg
Ediția:1998
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540652248
Pagini: 504
Ilustrații: XIV, 490 p.
Dimensiuni: 155 x 235 x 28 mm
Greutate: 0.76 kg
Ediția:1998
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Papers.- Open Constraint Programming.- Constructing Constraints.- The Dynamics of Dynamic Variable Ordering Heuristics.- Submitted Papers.- On Completion of Constraint Handling Rules.- Error-correcting Source Code.- Optimized Q-pivot for Exact Linear Solvers.- Constraint Techniques for Solving the Protein Structure Prediction Problem.- Global Constraints for Partial CSPs: A Case-Study of Resource and Due Date Constraints.- Using Graph Decomposition for Solving Continuous CSPs.- Anytime Lower Bounds for Constraint Violation Minimization Problems.- Introducing External Functions in Constraint Query Languages.- A Note on Partial Consistencies over Continuous Domains.- Consistency Techniques in Ordinary Differential Equations.- Early Projection in CLP(R).- Suggestion Strategies for Constraint-Based Matchmaker Agents.- Compiling Semiring-based Constraints with clp(FD,S).- Combining Topological and Qualitative Size Constraints for Spatial Reasoning.- Constraint Representation for Propagation.- A Unified Framework for Interval Constraints and Interval Arithmetic.- Constraint-based Problem Decomposition for a Key Configuration Problem.- Fuzzifying the Constraint Hierarchies Framework.- Constraints for Object Recognition in Aerial Images —Handling of Unobserved Features.- Salsa: A Language for Search Algorithms.- Random Constraint Satisfaction: theory meets practice.- A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications.- Safe Datalog Queries with Linear Constraints.- Non-systematic Search and Learning: An empirical study.- A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems.- Linear concurrent constraint programming over reals.- Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems.- APolynomial Time Local Propagation Algorithm for General Datafow Constraint Problems.- Stable Solutions for Dynamic Constraint Satisfaction Problems.- Posters.- Generation of Test Patterns for Differential Diagnosis of Digital Circuits.- Combine & Conquer: Genetic Algorithm and CP for Optimization.- Some Experiments on Learning Soft Constraints.- Scheduling Multi-Capacitated Resources under Complex Temporal Constraints.- Implementing Global Constraints with Index-Sets and Constraint Templates.- Generating feasible schedules for a pick-up and delivery problem.- An Impartial Efficiency Comparison of FD Constraint Systems.- Optimizing with constraints: a case study in scheduling maintenance of electric power units.- Some Surprising Regularities in the Behaviour of Stochastic Local Search.- Modelling CSP Solution Algorithms with Petri Decision Nets.- A Framework for Assertion-based Debugging in Constraint Logic Programming.- Parallel Execution Models for Constraint Propagation.- Using Blocks for Constraint Satisfaction.- Adaptive Solving of Equations over Rational Trees.- Telecommunication Application.- Optimal Placement of Base Stations in Wireless Indoor Telecommunication.