Technical Reports
A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
4 matches found for Friedman, Steven J.:
- Friedman, Steven J.
- Finding the Optimal Variable Ordering for Binary Decision Diagrams, TR-058-86, November 1986
- Delaunay Graphs are Almost as Good as Complete Graphs, TR-113-87, June 1987
- Data Structures for Formal Verification of Circuit Designs, TR-211-89, June 1989
- Data Structures for Formal Verification of Circuit Designs (thesis), TR-236-89, January 1990
