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