Searching for "Generating all maximal models of a Boolean expression." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Generating All Maximal Models of a Boolean Expression
- …Generating All Maximal Models of a Boolean Expression Dimitris J. Kavvadias a , Martha Sideri b…
- Cited by 15 (7 self) – Add To MetaCart
-
A New Algorithm for the Transversal Hypergraph Problem
- … maximal models of a Boolean expression in Conjunctive Normal Form, where each variable appears negated…
- Add To MetaCart
-
Evaluation of an Algorithm for the Transversal Hypergraph Problem
- … the transversal hypergraph is an alternative view of the problem of generating all maximal models of a Boolean…
- Cited by 15 (5 self) – Add To MetaCart
Showing 1 through 3.
