“Compression With Wildcards: All Models of a Boolean 2-CNF”. Contemporary Mathematics 6, no. 6 (October 29, 2025): 7795–7816. Accessed December 24, 2025. https://ojs353.mebyme.cn/index.php/CM/article/view/5743.