Reports for Author "Friedman, Steven J."

TR-058-86 - Finding the Optimal Variable Ordering for Binary Decision Diagrams (1986-11-00)
Friedman, Steven J. / Supowit, Kenneth J.
TR-113-87 - Delaunay Graphs are Almost as Good as Complete Graphs (1987-06-00)
Friedman, Steven J. / Dobkin, David P. / Supowit, Kenneth J.
TR-211-89 - Data Structures for Formal Verification of Circuit Designs (1989-06-00)
Friedman, Steven J.
TR-236-89 - Data Structures for Formal Verification of Circuit Designs (thesis) (1990-01-00)
Friedman, Steven J.