On the complexity of data disjunctions. (Q1853503): Difference between revisions

@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251059
@@ Property / cites work: Q4251059 / rank @@
+Normal rank
@@ Property / cites work @@
+Autoepistemic logics as a unifying framework for the semantics of logic programs
+Normal rank
@@ Property / cites work @@
+Querying disjunctive databases through nonmonotonic logics
+Normal rank
@@ Property / cites work @@
+Succinct circuit representations and leaf language classes are basically the same concept
+Normal rank
@@ Property / cites work @@
+On truth-table reducibility to SAT
@@ Property / cites work: On truth-table reducibility to SAT / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional closed world reasoning and circumscription
+Normal rank
@@ Property / cites work @@
+Q4225120
@@ Property / cites work: Q4225120 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete
+Normal rank
@@ Property / cites work @@
+The complexity class θp2: Recent results and applications in AI and modal logic
+Normal rank
@@ Property / cites work @@
+Normal forms for second-order logic over finite structures, and classification of NP optimization problems
+Normal rank
@@ Property / cites work @@
+Q3789107
@@ Property / cites work: Q3789107 / rank @@
+Normal rank
@@ Property / cites work @@
+Relativized logspace and generalized quantifiers over finite ordered structures
+Normal rank
@@ Property / cites work @@
+Succinctness as a source of complexity in logical formalisms
+Normal rank
@@ Property / cites work @@
+Computing functions with parallel queries to NP
@@ Property / cites work: Computing functions with parallel queries to NP / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of graph problems with succinct multigraph representation
+Normal rank
@@ Property / cites work @@
+Why not negation by fixpoint?
@@ Property / cites work: Why not negation by fixpoint? / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of optimization problems
@@ Property / cites work: The complexity of optimization problems / rank @@
+Normal rank
@@ Property / cites work @@
+Relativization of questions about log space computability
+Normal rank
@@ Property / cites work @@
+A comparison of polynomial time reducibilities
@@ Property / cites work: A comparison of polynomial time reducibilities / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4391449
@@ Property / cites work: Q4391449 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694758
@@ Property / cites work: Q4694758 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3939270
@@ Property / cites work: Q3939270 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing protected circumscription
@@ Property / cites work: Computing protected circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+A note on succinct representations of graphs
@@ Property / cites work: A note on succinct representations of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+A taxonomy of complexity classes of functions
@@ Property / cites work: A taxonomy of complexity classes of functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5285980
@@ Property / cites work: Q5285980 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5285981
@@ Property / cites work: Q5285981 / rank @@
+Normal rank
@@ Property / cites work @@
+On polynomial-time truth-table reducibility of intractable sets to P-selective sets
+Normal rank
@@ Property / cites work @@
+Languages represented by Boolean formulas
@@ Property / cites work: Languages represented by Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q4258578
@@ Property / cites work: Q4258578 / rank @@
+Normal rank
@@ Property / cites work @@
+Succinct representation, leaf languages, and projection reductions
+Normal rank
@@ Property / cites work @@
+Bounded Query Classes
@@ Property / cites work: Bounded Query Classes / rank @@
+Normal rank