Circuits, CNFs, and Satisfiability

Francis Zane
Ph.D. thesis, Univ. of California, San Diego, Dept. of Computer Science & Engineering, 1998
http://cm.bell-labs.com/cm/ms/who/francis/papers/thesis.ps

Cites:

Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine
Made on a Mac Valid XHTML 1.0!