Sren Se and Kevin Karplus. Ordering heuristics for ordered binary decision diagrams and canonical if-then-else dags. In International Workshop on Logic Synthesis, Lake Tahoe, CA, May 1993.
author author author author author title title title title title title title title title title title booktitle booktitle booktitle booktitle booktitle booktitle location location location date date