Programming Constraint Services

Programming Constraint Services
Author :
Publisher : Springer
Total Pages : 183
Release :
ISBN-13 : 9783540459453
ISBN-10 : 3540459456
Rating : 4/5 (56 Downloads)

Book Synopsis Programming Constraint Services by : Christian Schulte

Download or read book Programming Constraint Services written by Christian Schulte and published by Springer. This book was released on 2003-08-01 with total page 183 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Programming Constraint Services Related Books

Programming Constraint Services
Language: en
Pages: 183
Authors: Christian Schulte
Categories: Computers
Type: BOOK - Published: 2003-08-01 - Publisher: Springer

DOWNLOAD EBOOK

Constraint Programming is an approach for modeling and solving combi- torial problems that has proven successful in many applications. It builds on techniques d
Handbook of Constraint Programming
Language: en
Pages: 977
Authors: Francesca Rossi
Categories: Computers
Type: BOOK - Published: 2006-08-18 - Publisher: Elsevier

DOWNLOAD EBOOK

Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, c
Constraint Satisfaction in Logic Programming
Language: en
Pages: 250
Authors: Pascal Van Hentenryck
Categories: Constraint programming (Computer science).
Type: BOOK - Published: 1989 - Publisher: MIT Press (MA)

DOWNLOAD EBOOK

This book tackles classic problems from operations research and circuit design using a logic programming language embedding consistency techniques, a paradigm e
Abstract Domains in Constraint Programming
Language: en
Pages: 177
Authors: Marie Pelleau
Categories: Computers
Type: BOOK - Published: 2015-05-20 - Publisher: Elsevier

DOWNLOAD EBOOK

Constraint Programming aims at solving hard combinatorial problems, with a computation time increasing in practice exponentially. The methods are today efficien
Programming with Constraints
Language: en
Pages: 496
Authors: Kim Marriott
Categories: Computers
Type: BOOK - Published: 1998 - Publisher: MIT Press

DOWNLOAD EBOOK

Constraints; Simplification, optimization and implication; Finite constraint domains; Constraint logic programming; Simple modeling; Using data structures; Cont