BDDTCL: An Environment for Visualizing and Manipulating Binary Decision Diagrams.

Kurt Partridge

Browse the full CHI paper archive.