Compression With Wildcards: All Models of a Boolean 2-CNF. Contemp. Math. 2025, 6 (6), 7795-7816. https://doi.org/10.37256/cm.6620255743.