Name: Constraint Resolution Theories (en Inglés)
SKU: 24450358
Price: 35.13 USD
Availability: InStock
Author: Denis Berthier
ISBN: 9781447868880

portada Constraint Resolution Theories (en Inglés)

Constraint Resolution Theories (en Inglés)

Formato

Libro Físico

Editorial

Lulu.Com

Autor

Denis Berthier

Año

2011

Idioma

Inglés

N° páginas

312

Encuadernación

Tapa Blanda

ISBN

1447868889

ISBN13

9781447868880

N° edición

Categorías

Ciencia: cuestiones generales

Constraint Resolution Theories (en Inglés)

Denis Berthier (Autor) · Lulu.Com · Tapa Blanda

Libro Nuevo Importado

Envío: 16 a 22 días háb.

$ 70.27$ 35.13

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 50 unidades

$ 35.13

Llega entre el 22 Sep y el 02 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Constraint Resolution Theories (en Inglés)"

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