Xiannong Meng
Department of Computer Science
University of Texas - Pan American
Last revised: May 1999
Acknowledgment
Much of this set of course notes is based on Professor Craig Wills' course notes at Worcester Polytechnic Institute, with minor revision. Thanks to Craig who lets me use his notes, and provided me a copy of the software used in the course project. I am solely responsible for any errors in this set of course notes.