Wild, M. Compression With Wildcards: All Models of a Boolean 2-CNF. Contemp. Math. 2025, 6, 7795-7816.