Propositional Satisfiability Algorithms in EDA Applications

Mukul Ranjan Prasad

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M01/39
2001

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},
    URL = {http://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/2001/8455.html
%F Prasad:M01/39