Blackboard based problem solving
Subsections
A complete knight tour
A lemma based TAK