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