Constraint satisfaction problem for Artificial Intelligence, Spring 2014