Articles
Coloring Maps and the Kowalski Doctrine
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.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.
Download the article in PDF.
