"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 ...
Read More
"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.
Read Less
Add this copy of Constraint Resolution Theories to cart. $32.39, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2011 by Lulu.com.
Add this copy of Constraint Resolution Theories to cart. $46.28, new condition, Sold by Booksplease rated 3.0 out of 5 stars, ships from Southport, MERSEYSIDE, UNITED KINGDOM, published 2011 by Lulu.com.
Add this copy of Constraint Resolution Theories to cart. $47.18, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2011 by Lulu Press, Inc.
