Bhubaneswar Mishra Some Graph-theoretic Issues in VLSI Design Degree Type: Ph.D. in Computer Science Advisor(s): Edmund Clarke Graduated: December 1985