Name: Constraint Resolution Theories
SKU: 24450358
Price: 19.41 EUR
Availability: InStock
Author: Denis Berthier
ISBN: 9781447868880

Select your country

Americas

Europe

Rest of the world

Type

Physical Book

Publisher

Lulu.Com

Author

Denis Berthier

Year

2011

Language

English

Pages

312

Format

Paperback

ISBN

1447868889

ISBN13

9781447868880

Edition No.

Synopsis "Constraint Resolution Theories "

"Constraint Resolution Theories" introduces a pure logic perspective of the finite Constraint Satisfaction Problem (CSP), with emphasis on finding the "simplest" solution. Based on constructive logic, the resolution paradigm involves resolution rules, i.e. logical formulæ in the condition-action form, where the condition pattern implies the elimination of a candidate (a possible value for a CSP variable). Defining a resolution theory as a set of resolution rules, it introduces several families of such theories. Each of them carries its own notion of simplicity, defines a rating of CSP instances and satisfies two main theorems: the confluence property (guaranteeing that the associated rating has good computational properties) and a correspondence with a form of structured search procedure without guessing (Trial-and-Error). Throughout the book, Sudoku is used for illustrative purposes.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Constraint Resolution Theories - Denis Berthier

Synopsis "Constraint Resolution Theories "

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery