Matches in SemOpenAlex for { <https://semopenalex.org/work/W2474825292> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2474825292 startingPage "0" @default.
- W2474825292 abstract "$exists$-InvSat is the problem which takes as input a relation $R$and a finite set $mathcal S$ of relations on the same finite domain$D$, and asks whether $R$ is definable by a conjunctive query over$mathcal S$, i.e., by a formula of the form $exists mathbf{y} varphi(mathbf{x},mathbf{y})$ where $varphi$ is a conjunction of atomic formulas built on the relations in $mathcal S cup {=}$. (These are also called emph{primitive positive formulas}.) The problem is known to be in co-NExpTime, and has been shown to be tractable on the boolean domain.We show that there exists $k>2$ such that $exists$-InvSat is co-NExpTime complete on $k$-element domains, answering a question of Creignou, Kolaitis and Zanuttini." @default.
- W2474825292 created "2016-07-22" @default.
- W2474825292 creator A5078983016 @default.
- W2474825292 date "2010-01-01" @default.
- W2474825292 modified "2023-09-24" @default.
- W2474825292 title "PP-DEFINABILITY IS CO-NEXPTIME-COMPLETE" @default.
- W2474825292 cites W1549008998 @default.
- W2474825292 cites W1981616529 @default.
- W2474825292 cites W2010714867 @default.
- W2474825292 cites W2028127968 @default.
- W2474825292 hasPublicationYear "2010" @default.
- W2474825292 type Work @default.
- W2474825292 sameAs 2474825292 @default.
- W2474825292 citedByCount "0" @default.
- W2474825292 crossrefType "proceedings-article" @default.
- W2474825292 hasAuthorship W2474825292A5078983016 @default.
- W2474825292 hasConcept C114614502 @default.
- W2474825292 hasConcept C118615104 @default.
- W2474825292 hasConcept C134306372 @default.
- W2474825292 hasConcept C136979486 @default.
- W2474825292 hasConcept C162392398 @default.
- W2474825292 hasConcept C33923547 @default.
- W2474825292 hasConcept C36503486 @default.
- W2474825292 hasConceptScore W2474825292C114614502 @default.
- W2474825292 hasConceptScore W2474825292C118615104 @default.
- W2474825292 hasConceptScore W2474825292C134306372 @default.
- W2474825292 hasConceptScore W2474825292C136979486 @default.
- W2474825292 hasConceptScore W2474825292C162392398 @default.
- W2474825292 hasConceptScore W2474825292C33923547 @default.
- W2474825292 hasConceptScore W2474825292C36503486 @default.
- W2474825292 hasLocation W24748252921 @default.
- W2474825292 hasOpenAccess W2474825292 @default.
- W2474825292 hasPrimaryLocation W24748252921 @default.
- W2474825292 hasRelatedWork W1507941922 @default.
- W2474825292 hasRelatedWork W1559446374 @default.
- W2474825292 hasRelatedWork W1741233485 @default.
- W2474825292 hasRelatedWork W1967890781 @default.
- W2474825292 hasRelatedWork W1979394993 @default.
- W2474825292 hasRelatedWork W2022376106 @default.
- W2474825292 hasRelatedWork W2029134832 @default.
- W2474825292 hasRelatedWork W2075551673 @default.
- W2474825292 hasRelatedWork W2080034744 @default.
- W2474825292 hasRelatedWork W2088848525 @default.
- W2474825292 hasRelatedWork W2241715170 @default.
- W2474825292 hasRelatedWork W2248939986 @default.
- W2474825292 hasRelatedWork W2483226204 @default.
- W2474825292 hasRelatedWork W2579801771 @default.
- W2474825292 hasRelatedWork W2888323212 @default.
- W2474825292 hasRelatedWork W2950522257 @default.
- W2474825292 hasRelatedWork W2952477503 @default.
- W2474825292 hasRelatedWork W3036630374 @default.
- W2474825292 hasRelatedWork W3176046636 @default.
- W2474825292 hasRelatedWork W3180162932 @default.
- W2474825292 isParatext "false" @default.
- W2474825292 isRetracted "false" @default.
- W2474825292 magId "2474825292" @default.
- W2474825292 workType "article" @default.