Principles and Practice of Constraint Programming - CP98
Editat de Michael Maher, Jean-Francois Pugeten Limba Engleză Paperback – 9 oct 1998
Preț: 632.37 lei
Preț vechi: 790.45 lei
-20% Nou
Puncte Express: 949
Preț estimativ în valută:
111.88€ • 130.54$ • 97.82£
111.88€ • 130.54$ • 97.82£
Carte tipărită la comandă
Livrare economică 17-31 ianuarie 26
Preluare comenzi: 021 569.72.76
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.