Problemas de satisfacción de restricciones

Conjunto

Variables

Restricciones

Dominio no vacío de valores posibles

Subconjunto de variables

Formulación incremental

Estado inicial

Función sucesor

Test objetivo

Costo del camino

Dominios finitos

Búsqueda con vuelta atrás

Conmutatividad

No hay valor legal para asignar

MVR

Grado heurísico

Valor menos restringido

Comprobación hacia adelante

Mira c/variable no asignada

Propagación de restricciones

Implicaciones de una restricción

Arco consistente

Búsqueda local para problemas de satisfacción de
restricciones

Mínimo conflicto

Estructura de los problemas

Estructura grafo restricciones

Tiempo lineal

Acondicionamiento de acorte

Descomposición en árbol

Nuevo valor para variable