M. Wild, “Compression with Wildcards: All Models of a Boolean 2-CNF”, Contemp. Math., vol. 6, no. 6, pp. 7795–7816, Oct. 2025.