BDDTCL: an environment for visualizing and manipulating binary decision diagrams

• Authors:

• Kurt E. Partridge

• Affiliations:

• University of Washington, Seattle, WA

• Venue:
• Conference Companion on Human Factors in Computing Systems
• Year:
• 1996