Generating all maximal models of a Boolean expression (Q294760): Difference between revisions

@@ Property / author @@
+Martha Sideris
@@ Property / author: Martha Sideris / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On computing minimal models
@@ Property / cites work: On computing minimal models / rank @@
+Normal rank
@@ Property / cites work @@
+Q3993087
@@ Property / cites work: Q3993087 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of model checking for circumscriptive formulae
+Normal rank
@@ Property / cites work @@
+The complexity of selecting maximal solutions
@@ Property / cites work: The complexity of selecting maximal solutions / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing diagnoses and systems
@@ Property / cites work: Characterizing diagnoses and systems / rank @@
+Normal rank
@@ Property / cites work @@
+Identifying the Minimal Transversals of a Hypergraph and Related Problems
+Normal rank
@@ Property / cites work @@
+Horn functions and submodular Boolean functions
@@ Property / cites work: Horn functions and submodular Boolean functions / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Dualization of Monotone Disjunctive Normal Forms
+Normal rank
@@ Property / cites work @@
+How to assign votes in a distributed system
@@ Property / cites work: How to assign votes in a distributed system / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+On generating the irredundant conjunctive and disjunctive normal forms of monotone Boolean functions
+Normal rank
@@ Property / cites work @@
+On generating all maximal independent sets
@@ Property / cites work: On generating all maximal independent sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268444
@@ Property / cites work: Q4268444 / rank @@
+Normal rank
@@ Property / cites work @@
+The Inverse Satisfiability Problem
@@ Property / cites work: The Inverse Satisfiability Problem / rank @@
+Normal rank
@@ Property / cites work @@
+NP-completeness: A retrospective
@@ Property / cites work: NP-completeness: A retrospective / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm to compute circumscription
@@ Property / cites work: An algorithm to compute circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Model-preference default theories
@@ Property / cites work: Model-preference default theories / rank @@
+Normal rank