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