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