Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287244352> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4287244352 abstract "We prove that QCSP$(mathbb{N};x=yrightarrow y=z)$ is PSpace-complete, settling a question open for more than ten years. This completes the complexity classification for the QCSP over equality languages as a trichotomy between Logspace, NP-complete and PSpace-complete. We additionally settle the classification for bounded alternation QCSP$(Gamma)$, for $Gamma$ an equality language. Such problems are either in Logspace, NP-complete, co-NP-complete or rise in complexity in the Polynomial Hierarchy." @default.
- W4287244352 created "2022-07-25" @default.
- W4287244352 creator A5013230954 @default.
- W4287244352 creator A5060991122 @default.
- W4287244352 date "2021-04-01" @default.
- W4287244352 modified "2023-09-24" @default.
- W4287244352 title "The complete classification for quantified equality constraints" @default.
- W4287244352 doi "https://doi.org/10.48550/arxiv.2104.00406" @default.
- W4287244352 hasPublicationYear "2021" @default.
- W4287244352 type Work @default.
- W4287244352 citedByCount "0" @default.
- W4287244352 crossrefType "posted-content" @default.
- W4287244352 hasAuthorship W4287244352A5013230954 @default.
- W4287244352 hasAuthorship W4287244352A5060991122 @default.
- W4287244352 hasBestOaLocation W42872443521 @default.
- W4287244352 hasConcept C11413529 @default.
- W4287244352 hasConcept C114614502 @default.
- W4287244352 hasConcept C118615104 @default.
- W4287244352 hasConcept C134026603 @default.
- W4287244352 hasConcept C134306372 @default.
- W4287244352 hasConcept C138885662 @default.
- W4287244352 hasConcept C162324750 @default.
- W4287244352 hasConcept C179799912 @default.
- W4287244352 hasConcept C197685441 @default.
- W4287244352 hasConcept C26826806 @default.
- W4287244352 hasConcept C2776013622 @default.
- W4287244352 hasConcept C2780233049 @default.
- W4287244352 hasConcept C311688 @default.
- W4287244352 hasConcept C31170391 @default.
- W4287244352 hasConcept C33923547 @default.
- W4287244352 hasConcept C34388435 @default.
- W4287244352 hasConcept C34447519 @default.
- W4287244352 hasConcept C39637292 @default.
- W4287244352 hasConcept C41895202 @default.
- W4287244352 hasConceptScore W4287244352C11413529 @default.
- W4287244352 hasConceptScore W4287244352C114614502 @default.
- W4287244352 hasConceptScore W4287244352C118615104 @default.
- W4287244352 hasConceptScore W4287244352C134026603 @default.
- W4287244352 hasConceptScore W4287244352C134306372 @default.
- W4287244352 hasConceptScore W4287244352C138885662 @default.
- W4287244352 hasConceptScore W4287244352C162324750 @default.
- W4287244352 hasConceptScore W4287244352C179799912 @default.
- W4287244352 hasConceptScore W4287244352C197685441 @default.
- W4287244352 hasConceptScore W4287244352C26826806 @default.
- W4287244352 hasConceptScore W4287244352C2776013622 @default.
- W4287244352 hasConceptScore W4287244352C2780233049 @default.
- W4287244352 hasConceptScore W4287244352C311688 @default.
- W4287244352 hasConceptScore W4287244352C31170391 @default.
- W4287244352 hasConceptScore W4287244352C33923547 @default.
- W4287244352 hasConceptScore W4287244352C34388435 @default.
- W4287244352 hasConceptScore W4287244352C34447519 @default.
- W4287244352 hasConceptScore W4287244352C39637292 @default.
- W4287244352 hasConceptScore W4287244352C41895202 @default.
- W4287244352 hasLocation W42872443521 @default.
- W4287244352 hasOpenAccess W4287244352 @default.
- W4287244352 hasPrimaryLocation W42872443521 @default.
- W4287244352 hasRelatedWork W1886995024 @default.
- W4287244352 hasRelatedWork W1980093022 @default.
- W4287244352 hasRelatedWork W2036323482 @default.
- W4287244352 hasRelatedWork W2515617107 @default.
- W4287244352 hasRelatedWork W2963442656 @default.
- W4287244352 hasRelatedWork W2963590147 @default.
- W4287244352 hasRelatedWork W2963938859 @default.
- W4287244352 hasRelatedWork W2990125731 @default.
- W4287244352 hasRelatedWork W3123485485 @default.
- W4287244352 hasRelatedWork W3176653983 @default.
- W4287244352 isParatext "false" @default.
- W4287244352 isRetracted "false" @default.
- W4287244352 workType "article" @default.