Pages that link to "Item:Q4877522"
From MaRDI portal
The following pages link to The Boolean Hierarchy and the Polynomial Hierarchy: A Closer Connection (Q4877522):
Displaying 26 items.
- On the computational complexity of qualitative coalitional games (Q814613) (← links)
- The 1-versus-2 queries problem revisited (Q970102) (← links)
- Exact complexity of exact-four-colorability (Q1014384) (← links)
- Boolean term orders and the root system \(B_n\) (Q1304915) (← links)
- Some connections between bounded query classes and non-uniform complexity. (Q1426008) (← links)
- Commutative queries (Q1854422) (← links)
- Bounded queries, approximations, and the Boolean hierarchy (Q1854449) (← links)
- Two queries (Q1961371) (← links)
- Complexity of stability (Q2237893) (← links)
- Induction rules in bounded arithmetic (Q2309507) (← links)
- Proving SAT does not have small circuits with an application to the two queries problem (Q2475408) (← links)
- THE THOMPSON–HIGMAN MONOIDS M<sub>k,i</sub>: THE ${\mathcal J}$-ORDER, THE ${\mathcal D}$-RELATION, AND THEIR COMPLEXITY (Q2996837) (← links)
- A Tight Karp-Lipton Collapse Result in Bounded Arithmetic (Q3540180) (← links)
- On the power of deterministic reductions to C=P (Q4032933) (← links)
- A Downward Collapse within the Polynomial Hierarchy (Q4210153) (← links)
- Query Order (Q4210168) (← links)
- Bounded queries to arbitrary sets (Q4717045) (← links)
- On computing Boolean connectives of characteristic functions (Q4835862) (← links)
- A downward translation in the polynomial hierarchy (Q5048934) (← links)
- Query order in the polynomial hierarchy (Q5055937) (← links)
- On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics (Q5145833) (← links)
- A relationship between difference hierarchies and relativized polynomial hierarchies (Q5289273) (← links)
- The 1-Versus-2 Queries Problem Revisited (Q5387752) (← links)
- On boolean lowness and boolean highness (Q5941441) (← links)
- Complexity of Stability. (Q6065416) (← links)
- Intersection suffices for Boolean hierarchy equivalence (Q6085737) (← links)
