Wild M. Compression with Wildcards: All Models of a Boolean 2-CNF. Contemp. Math. [Internet]. 2025 Oct. 29 [cited 2026 Jan. 1];6(6):7795-816. Available from: https://ojs.wiserpub.com/index.php/CM/article/view/5743