Return to Article Details Compression with Wildcards: All <i>k</i>-Models of a Binary Decision Diagram Download Download PDF