Year: 2025
Type: article
Abstract: Let W be a finite set which simultaneously serves as the universe of any poset (W, ≤) and as the vertex set of any graph G. Our algorithm, abbreviated All-Independent-Ideals (A-I-I), enumerates all G-independent ideals of (W, ≤). Since every satisfiable Boolean 2-Conjunctive Normal Form (CNF) can be Horn-renamed, A-I-I becomes the core of a polynomial total time algorithm that enumerates the modelset of any Boolean 2-CNF. As a perk, the modelset is delivered in a compressed format (that uses don't-care symbols)
Source: Contemporary Mathematics
Author: Marcel Wild
Institution: Stellenbosch University
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W3184066076