Wild, Marcel, and Yves Semegni. 2026. “Compression With Wildcards: All <i>k</I>-Models of a Binary Decision Diagram”. Contemporary Mathematics 7 (3):2702-20. https://doi.org/10.37256/cm.7320266889.