Coloring Maps and the Kowalski Doctrine was a 1982 Stanford report. More is known about realizing the Kempe heuristic by making a Prolog that can run in an introspective mode, and I'll put in a note about it when I get a chance.

Several people have told me that the postponement heuristic corresponds to a method in Richard Bellman's dynamic programming. Apparently this isn't true. Dynamic programming does not provide for a complete rearrangement of the goals before it is decided what goal to work on first.

.dvi, .pdf and .ps versions are also available.

Up to: McCarthy home page

I welcome comments, and you can send them by clicking on

The number of hits on this page since 1996 May 15.