Pages that link to "Item:Q1013082"
From MaRDI portal
The following pages link to Existentially restricted quantified constraint satisfaction (Q1013082):
Displaying 4 items.
- On the exact complexity of evaluating quantified \(k\)-\textsc{cnf} (Q1949746) (← links)
- On the Exact Complexity of Evaluating Quantified k-CNF (Q3058691) (← links)
- Quantified Constraints in Twenty Seventeen (Q4993605) (← links)
- Decomposing Quantified Conjunctive (or Disjunctive) Formulas (Q5506695) (← links)
