5.5. Further reading#
Korf (1987) gives a comprehensive overview of search methods in Artificial Intelligence. He is also the originator of the iterative deepening search strategy (Korf, 1985). The model generation program in Section 5.4 is adapted from (Manthey & Bry, 1988).
R.E. Korf (1985), ‘Depth-first iterative deepening: an optimal admissible tree search’, Artificial Intelligence 27: 97-109.
R.E. Korf (1987), ‘Search’. In Encyclopedia of Artificial Intelligence, S.C. Shapiro (ed.), pp. 994-998, John Wiley.
R. Manthey & F. Bry (1988), ‘SATCHMO: a theorem prover implemented in Prolog’. In E. Lusk & R. Overbeek (eds), Proc. 9th International Conference on Automated Deduction, Lecture Notes in Computer Science 310, pp. 415-434, Springer-Verlag.