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