Constraint Resolution Theories

by Denis Berthier and Pr Denis BERTHIER

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

• Format: Paperback
• Language: English
• ISBN: 1447868889
• ISBN13: 9781447868880
• Release Date: September 2011
• Publisher: Lulu.com
• Length: 312 Pages
• Weight: 0.97 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"