Matches in SemOpenAlex for { <https://semopenalex.org/work/W4299908819> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W4299908819 abstract "Building on a result of Larose and Tesson for constraint satisfaction problems (CSP s), we uncover a dichotomy for the quantified constraint satisfaction problem QCSP(B), where B is a finite structure that is a core. Specifically, such problems are either in ALogtime or are L-hard. This involves demonstrating that if CSP(B) is first-order expressible, and B is a core, then QCSP(B) is in ALogtime. We show that the class of B such that CSP(B) is first-order expressible (indeed, trivially true) is a microcosm for all QCSPs. Specifically, for any B there exists a C such that CSP(C) is trivially true, yet QCSP(B) and QCSP(C) are equivalent under logspace reductions." @default.
- W4299908819 created "2022-10-03" @default.
- W4299908819 creator A5013230954 @default.
- W4299908819 date "2011-02-16" @default.
- W4299908819 modified "2023-09-27" @default.
- W4299908819 title "Low-level dichotomy for Quantified Constraint Satisfaction Problems" @default.
- W4299908819 doi "https://doi.org/10.48550/arxiv.1102.3463" @default.
- W4299908819 hasPublicationYear "2011" @default.
- W4299908819 type Work @default.
- W4299908819 citedByCount "0" @default.
- W4299908819 crossrefType "posted-content" @default.
- W4299908819 hasAuthorship W4299908819A5013230954 @default.
- W4299908819 hasBestOaLocation W42999088191 @default.
- W4299908819 hasConcept C10138342 @default.
- W4299908819 hasConcept C105795698 @default.
- W4299908819 hasConcept C114614502 @default.
- W4299908819 hasConcept C118615104 @default.
- W4299908819 hasConcept C154945302 @default.
- W4299908819 hasConcept C162324750 @default.
- W4299908819 hasConcept C182306322 @default.
- W4299908819 hasConcept C199622910 @default.
- W4299908819 hasConcept C2164484 @default.
- W4299908819 hasConcept C2524010 @default.
- W4299908819 hasConcept C2776036281 @default.
- W4299908819 hasConcept C2777212361 @default.
- W4299908819 hasConcept C33923547 @default.
- W4299908819 hasConcept C41008148 @default.
- W4299908819 hasConcept C44616089 @default.
- W4299908819 hasConcept C49937458 @default.
- W4299908819 hasConcept C76155785 @default.
- W4299908819 hasConceptScore W4299908819C10138342 @default.
- W4299908819 hasConceptScore W4299908819C105795698 @default.
- W4299908819 hasConceptScore W4299908819C114614502 @default.
- W4299908819 hasConceptScore W4299908819C118615104 @default.
- W4299908819 hasConceptScore W4299908819C154945302 @default.
- W4299908819 hasConceptScore W4299908819C162324750 @default.
- W4299908819 hasConceptScore W4299908819C182306322 @default.
- W4299908819 hasConceptScore W4299908819C199622910 @default.
- W4299908819 hasConceptScore W4299908819C2164484 @default.
- W4299908819 hasConceptScore W4299908819C2524010 @default.
- W4299908819 hasConceptScore W4299908819C2776036281 @default.
- W4299908819 hasConceptScore W4299908819C2777212361 @default.
- W4299908819 hasConceptScore W4299908819C33923547 @default.
- W4299908819 hasConceptScore W4299908819C41008148 @default.
- W4299908819 hasConceptScore W4299908819C44616089 @default.
- W4299908819 hasConceptScore W4299908819C49937458 @default.
- W4299908819 hasConceptScore W4299908819C76155785 @default.
- W4299908819 hasLocation W42999088191 @default.
- W4299908819 hasLocation W42999088192 @default.
- W4299908819 hasOpenAccess W4299908819 @default.
- W4299908819 hasPrimaryLocation W42999088191 @default.
- W4299908819 hasRelatedWork W1577272033 @default.
- W4299908819 hasRelatedWork W181793625 @default.
- W4299908819 hasRelatedWork W1848884953 @default.
- W4299908819 hasRelatedWork W2012141606 @default.
- W4299908819 hasRelatedWork W2070692358 @default.
- W4299908819 hasRelatedWork W2252314269 @default.
- W4299908819 hasRelatedWork W2292155251 @default.
- W4299908819 hasRelatedWork W2470231588 @default.
- W4299908819 hasRelatedWork W2784687883 @default.
- W4299908819 hasRelatedWork W2953287580 @default.
- W4299908819 isParatext "false" @default.
- W4299908819 isRetracted "false" @default.
- W4299908819 workType "article" @default.