Finding the Optimal Variable Ordering for Binary Decision Diagrams.
IEEE Trans. Computers, 1990
Delaunay Graphs are almost as Good as Complete Graphs.
Discret. Comput. Geom., 1990
A new method for verifying sequential circuits.
Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, 1986