Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Constraint Resolution Theories

by Denis Berthier
Save 11% Save 11%
Current price ₹1,423.00
Original price ₹1,594.00
Original price ₹1,594.00
Original price ₹1,594.00
(-11%)
₹1,423.00
Current price ₹1,423.00

Imported Edition - Ships in 18-21 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Paperback
  • ISBN13: 9781447868880
  • Binding: Paperback
  • Subject: N/A
  • Publisher: Lulu Press
  • Publisher Imprint: Lulu Press
  • Publication Date:
  • Pages: 312
  • Original Price: GBP 12.26
  • Language: English
  • Edition: N/A
  • Item Weight: 440 grams
  • BISAC Subject(s): General

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

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us