Zan-PhD-98

@phdthesis{Zan-PhD-98,
title = {Circuits, CNFs, and Satisfiability},
author = {Francis Zane},
school = {Univ. of California, San Diego, Dept. of Computer Science & Engineering},
address = {La Jolla, CA 92093-0114, USA},
year = {1998},
url = {http://cm.bell-labs.com/cm/ms/who/francis/papers/thesis.ps}}

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