SemOpenAlex |

SemOpenAlex

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2101271910> ?p ?o ?g. }

Showing items 1 to 87 of 87 with 100 items per page.

W2101271910 abstract "An equality template (also equality constraint language) is a relational structure with infinite universe whose relations can be defined by boolean combinations of equalities. We prove a complete complexity classification for quantified constraint satisfaction problems (QCSPs) over equality templates: these problems are in L (decidable in logarithmic space), NP-complete, or PSPACE-complete. To establish our classification theorem we combine methods from universal algebra with concepts from model theory." @default.
W2101271910 created "2016-06-24" @default.
W2101271910 creator A5044720498 @default.
W2101271910 creator A5058729018 @default.
W2101271910 date "2007-01-01" @default.
W2101271910 modified "2023-09-27" @default.
W2101271910 title "Quantified Equality Constraints" @default.
W2101271910 cites W1571873445 @default.
W2101271910 cites W1773460911 @default.
W2101271910 cites W1983032729 @default.
W2101271910 cites W1998084650 @default.
W2101271910 cites W2026753685 @default.
W2101271910 cites W2051474359 @default.
W2101271910 cites W2062893737 @default.
W2101271910 cites W2116407296 @default.
W2101271910 cites W2134850460 @default.
W2101271910 cites W2166566648 @default.
W2101271910 cites W417925666 @default.
W2101271910 cites W655258421 @default.
W2101271910 doi "https://doi.org/10.1109/lics.2007.38" @default.
W2101271910 hasPublicationYear "2007" @default.
W2101271910 type Work @default.
W2101271910 sameAs 2101271910 @default.
W2101271910 citedByCount "5" @default.
W2101271910 countsByYear W21012719102016 @default.
W2101271910 crossrefType "proceedings-article" @default.
W2101271910 hasAuthorship W2101271910A5044720498 @default.
W2101271910 hasAuthorship W2101271910A5058729018 @default.
W2101271910 hasConcept C111919701 @default.
W2101271910 hasConcept C11413529 @default.
W2101271910 hasConcept C118615104 @default.
W2101271910 hasConcept C121332964 @default.
W2101271910 hasConcept C136119220 @default.
W2101271910 hasConcept C153269930 @default.
W2101271910 hasConcept C154945302 @default.
W2101271910 hasConcept C179799912 @default.
W2101271910 hasConcept C197685441 @default.
W2101271910 hasConcept C199622910 @default.
W2101271910 hasConcept C202444582 @default.
W2101271910 hasConcept C2524010 @default.
W2101271910 hasConcept C2776036281 @default.
W2101271910 hasConcept C2778572836 @default.
W2101271910 hasConcept C33923547 @default.
W2101271910 hasConcept C41008148 @default.
W2101271910 hasConcept C44616089 @default.
W2101271910 hasConcept C44870925 @default.
W2101271910 hasConcept C49937458 @default.
W2101271910 hasConcept C80444323 @default.
W2101271910 hasConcept C84999194 @default.
W2101271910 hasConceptScore W2101271910C111919701 @default.
W2101271910 hasConceptScore W2101271910C11413529 @default.
W2101271910 hasConceptScore W2101271910C118615104 @default.
W2101271910 hasConceptScore W2101271910C121332964 @default.
W2101271910 hasConceptScore W2101271910C136119220 @default.
W2101271910 hasConceptScore W2101271910C153269930 @default.
W2101271910 hasConceptScore W2101271910C154945302 @default.
W2101271910 hasConceptScore W2101271910C179799912 @default.
W2101271910 hasConceptScore W2101271910C197685441 @default.
W2101271910 hasConceptScore W2101271910C199622910 @default.
W2101271910 hasConceptScore W2101271910C202444582 @default.
W2101271910 hasConceptScore W2101271910C2524010 @default.
W2101271910 hasConceptScore W2101271910C2776036281 @default.
W2101271910 hasConceptScore W2101271910C2778572836 @default.
W2101271910 hasConceptScore W2101271910C33923547 @default.
W2101271910 hasConceptScore W2101271910C41008148 @default.
W2101271910 hasConceptScore W2101271910C44616089 @default.
W2101271910 hasConceptScore W2101271910C44870925 @default.
W2101271910 hasConceptScore W2101271910C49937458 @default.
W2101271910 hasConceptScore W2101271910C80444323 @default.
W2101271910 hasConceptScore W2101271910C84999194 @default.
W2101271910 hasLocation W21012719101 @default.
W2101271910 hasOpenAccess W2101271910 @default.
W2101271910 hasPrimaryLocation W21012719101 @default.
W2101271910 hasRelatedWork W1515598460 @default.
W2101271910 hasRelatedWork W1557702127 @default.
W2101271910 hasRelatedWork W1967419422 @default.
W2101271910 hasRelatedWork W2055175658 @default.
W2101271910 hasRelatedWork W206304267 @default.
W2101271910 hasRelatedWork W2547722307 @default.
W2101271910 hasRelatedWork W2740608080 @default.
W2101271910 hasRelatedWork W2949225977 @default.
W2101271910 hasRelatedWork W2965659132 @default.
W2101271910 hasRelatedWork W4243326173 @default.
W2101271910 isParatext "false" @default.
W2101271910 isRetracted "false" @default.
W2101271910 magId "2101271910" @default.
W2101271910 workType "article" @default.