PPT Slide
Converting a Dynamic CSP to a normal CSP
--Introduce a new null value into the domains of every variable. Inactive variables have
null value. Activation constraints become “Can’t have null value”
Useful for interpreting the mutex
propagation step as a partial directed
2-consistency enforcement procedure