Interactive problem solving via algorithm visualization
Consistency in Networks of Relations