Add documentation regarding arc concistency and making a problem binary constraint with hidden variables.