Next: About this document
Up: CREATIVE SOLUTIONS TO
- McCarthy 1964
a tough nut for theorem provers.
Stanford AI Memo 16--now on the web.
- McCarthy 1996
the mutilated checkerboard in set
presented at a 1996 conference in Warsaw.
- Subramanian 1993
Subramanian, S. 1993.
A Mechanized Framework for Specifying Problem Domains and
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.
Mon Mar 29 15:20:19 PST 1999