Bounded queries to SAT and the Boolean hierarchy (Q1178690): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(91)90160-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2063158069
@@ Property / OpenAlex ID: W2063158069 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999199
@@ Property / cites work: Q3999199 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial terse sets
@@ Property / cites work: Polynomial terse sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039803
@@ Property / cites work: Q4039803 / rank @@
+Normal rank
@@ Property / cites work @@
+Bi-immunity results for cheatable sets
@@ Property / cites work: Bi-immunity results for cheatable sets / rank @@
+Normal rank
@@ Property / cites work @@
+Terse, superterse, and verbose sets
@@ Property / cites work: Terse, superterse, and verbose sets / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded query classes and the difference hierarchy
+Normal rank
@@ Property / cites work @@
+On Sets Truth-Table Reducible to Sparse Sets
@@ Property / cites work: On Sets Truth-Table Reducible to Sparse Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751004
@@ Property / cites work: Q3751004 / rank @@
+Normal rank
@@ Property / cites work @@
+Using self-reducibilities to characterize polynomial time
+Normal rank
@@ Property / cites work @@
+The strong exponential hierarchy collapses
@@ Property / cites work: The strong exponential hierarchy collapses / rank @@
+Normal rank
@@ Property / cites work @@
+The difference and truth-table hierarchies for NP
@@ Property / cites work: The difference and truth-table hierarchies for NP / 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 @@
+On the Inversion Complexity of a System of Functions
+Normal rank
@@ Property / cites work @@
+A cardinality version of Beigel's nonspeedup theorem
+Normal rank
@@ Property / cites work @@
+The complexity of facets (and some facets of complexity)
+Normal rank
@@ Property / cites work @@
+Trial and error predicates and the solution to a problem of Mostowski
+Normal rank
@@ Property / cites work @@
+Q3793733
@@ Property / cites work: Q3793733 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Query Classes
@@ Property / cites work: Bounded Query Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703297
@@ Property / cites work: Q3703297 / rank @@
+Normal rank