TY  - RPRT
TI  - Compression with wildcards: All k-models of a binary decision diagram
AU  - Marcel Wild
AU  - Yves Semegni
PY  - 2023
UR  - https://arxiv.org/abs/1703.08511
ID  - 1703.08511
ER  -