Demonstration of a Problem-Solving Method
A program for backtrack seeking is proved here by using deduction rules. The problem of whether a chessboard can be moved over by the knight stepping on every square once and only once, is studied, and is traced back to the theorem of backtrack seeking in two ways. A comparison is made between the programs obtained.
Gyenizse Pal 1996. Szeptember 3. Kedd 12:56:56 MET DST