next up previous
Next: About this document Up: CREATIVE SOLUTIONS TO Previous: Acknowledgements


McCarthy 1964
McCarthy, J. 1964. a tough nut for theorem provers. Stanford AI Memo 16--now on the web.

McCarthy 1996
McCarthy, J. 1996. the mutilated checkerboard in set theory. presented at a 1996 conference in Warsaw.

Subramanian 1993
Subramanian, S. 1993. A Mechanized Framework for Specifying Problem Domains and Verifying Plans. PhD thesis, University of Texas, Austin.

Uribe and Stickel 1994
Uribe, T., and M. Stickel. 1994. Ordered binary decision diagrams and the davis-putnam procedure. In J. P. Drummond (Ed.), Lecture Notes on Computer Science, First international conference on constraints in computational logics, Vol. 845. Springer, September.

John McCarthy
Mon Mar 29 15:20:19 PST 1999