Mukul Ranjan Prasad
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M01/39
December 2001
http://www2.eecs.berkeley.edu/Pubs/TechRpts/2001/ERL-01-39.pdf
Advisor: Robert K. Brayton
BibTeX citation:
@phdthesis{Prasad:M01/39, Author = {Prasad, Mukul Ranjan}, Title = {Propositional Satisfiability Algorithms in EDA Applications}, School = {EECS Department, University of California, Berkeley}, Year = {2001}, Month = {Dec}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2001/8455.html}, Number = {UCB/ERL M01/39} }
EndNote citation:
%0 Thesis %A Prasad, Mukul Ranjan %T Propositional Satisfiability Algorithms in EDA Applications %I EECS Department, University of California, Berkeley %D 2001 %@ UCB/ERL M01/39 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2001/8455.html %F Prasad:M01/39