Constraint Processing
Editat de Manfred Meyeren Limba Engleză Paperback – 20 iun 1995
This volume essentially contributes to integrating the different approaches to the young and very active field of constraint processing by offering papers from logic programming, knowledge representation, expert systems, theoretical computer science, operations research, and other fields. Among contributions are two surveys, by Podelski and van Roy and by Freuder.
Preț: 322.16 lei
Preț vechi: 402.70 lei
-20%
Puncte Express: 483
Carte tipărită la comandă
Livrare economică 27 iulie-10 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei 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: 9783540594796
ISBN-10: 3540594795
Pagini: 300
Ilustrații: IV, 296 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:1995
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540594795
Pagini: 300
Ilustrații: IV, 296 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:1995
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
A detailed algorithm testing guards over feature trees.- A generalized semantics for concurrent constraint languages and their abstract interpretation.- High-level constraints over finite domains.- Integrating constraints in an object-based knowledge representation system.- A CLP approach for examination planning.- The many paths to satisfaction.- Directed arc consistency preprocessing.- In search of exceptionally difficult constraint satisfaction problems.- Using bidirectionality to speed up arc-consistency processing.- Using metalevel constraint knowledge to reduce constraint checking.- Forward checking with backmarking.- Redundant hidden variables in finite domain constraint problems.- Semantic properties of CHIP(FD).- Combining hill climbing and forward checking for handling disjunctive constraints.- GA-easy and GA-hard constraint satisfaction problems.