Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Constraint Resolution Theories

Constraint Resolution Theories

Berthier, Denis

Paperback

General Science

ISBN10: 1447868889
ISBN13: 9781447868880
Publisher: Lulu Press
Published: Sep 14 2011
Pages: 312
Weight: 0.97
Height: 0.65 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

General Science

View All