Skip to content
Scan a barcode
Scan
Paperback Constraint Resolution Theories Book

ISBN: 1447868889

ISBN13: 9781447868880

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.

Recommended

Format: Paperback

Condition: New

$35.50
50 Available
Ships within 2-3 days

Customer Reviews

0 rating
Copyright © 2025 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured