Reports for Author "Friedman, Steven J."
- TR-236-89 - Data Structures for Formal Verification of Circuit Designs (thesis) (1990)
- TR-211-89 - Data Structures for Formal Verification of Circuit Designs (1989)
- TR-113-87 - Delaunay Graphs are Almost as Good as Complete Graphs (1987)
- TR-058-86 - Finding the Optimal Variable Ordering for Binary Decision Diagrams (1986)