Constraint Resolution Theories par BERTHIER, Pr Denis: New (2011)

A propos de cet article

N� de r�f. du vendeur I-9781447868880

D�tails bibliographiques

Titre: Constraint Resolution Theories
�diteur: Lulu Press, Inc.
Date de parution: 2011
Langue: anglais
ISBN � 10 chiffres: 1447868889
ISBN � 13 chiffres: 9781447868880
Reliure: Couverture souple
�tat de l'article: New

A propos de ce titre

Synopsis

"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.

Pr�sentation de l'�diteur

"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.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.