CSE 598F: Constraint Programming