Programming Constraint Services High Level Programming Of Standard And New Constraint Services LNAI 2302(1st Edition)
Authors:
Christian Schulte
In Stock
Include with your book
Free shipping: April 06, 2024Popular items with books
Total Price:
$0
Book details
ISBN: 3540433716, 978-3540433712
Book publisher: Springer
Programming Constraint Services High Level Programming Of Standard And New Constraint Services LNAI 2302 1st Edition Summary: Constraint Programming is an approach for modeling and solving combi- torial problems that has proven successful in many applications. It builds on techniques developed in Arti?cial Intelligence, Logic Programming, and - erations Research. Key techniques are constraint propagation and heuristic search. Constraint Programming is based on an abstraction that decomposes a problem solver into a reusable constraint engine and a declarative program modeling the problem. The constraint engine implements the required pr- agation and search algorithms. It can be realized as a library for a general purpose programming language (e.g. C++), as an extension of an existing language (e.g. Prolog), or as a system with its own dedicated language. The present book is concerned with the architecture and implementation of constraint engines. It presents a new, concurrent architecture that is far superior to the sequential architecture underlying Prolog. The new archit- ture is based on concurrent search with copying and recomputation rather than sequential search with trailing and backtracking. One advantage of the concurrent approach is that it accommodates any search strategy. Furth- more, it considerably simpli?es the implementation of constraint propagation algorithms since it eliminates the need to account for trailing and backtra- ing. The book investigates an expressive generalization of the concurrent - chitecture that accommodates propagation-preserving combinators (known as deep guard combinators) for negation, disjunction, implication, and re- cation of constraint propagators. Such combinators are beyond the scope of Prolog’s technology. In the concurrent approach they can be obtained with a re?ective encapsulation primitive.
Customers also bought these books
American Constitutional Law Structure And Reconstruction Cases Notes And Problems - 6th Edition
Charles Shanor
ISBN: 1683284682, 9781683284680
$0 $46.00Frequently Bought Together
Materials Science and Engineering An Introduction - 9th edition
William D. Callister Jr.
ISBN: 978-1118546895, 111854689X, 978-1118477700, 1118477707, 1118324579, 978-1118324578
$0 $268.95
Understanding Medication Names A Compilation Of Prefixes And Suffixes - 1st Edition
Nina Rose
ISBN: B0CTGPKX35, 979-8877709201
$0 $9.99
Operations Management - 6th Canadian Edition
William J Stevenson
ISBN: 1259270157, 978-1259270154
$0 $147.00
Feverfew A Medical Dictionary Bibliography And Annotated Research Guide To Internet References - 1st Edition
Icon Health Publications
ISBN: 0497004666, 978-0497004668
$0 $59.43
An Introduction To The PL/CV2 Programming Logic LNCS 135 - 1st Edition
R. L. Constable
ISBN: 3540114920, 978-3540114925
$0 $50.95
American Constitutional Law Structure And Reconstruction Cases Notes And Problems - 3rd Edition
Charles A. Shanor
ISBN: 0314163174, 9780314163172
$0 $31.00Top Reviews for Books
