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