Mukul Ranjan Prasad

EECS Department, University of California, Berkeley

Technical Report No. UCB/ERL M01/39

2001

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2001/ERL-01-39.pdf

Advisors: 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