Matches in SemOpenAlex for { <https://semopenalex.org/work/W1522877314> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1522877314 endingPage "23" @default.
- W1522877314 startingPage "9" @default.
- W1522877314 abstract "We study the expressibility problem: given a finite constraint language Γ on a finite domain and another relation R, can Γ express R? We prove, by an explicit family of examples, that the standard witnesses to expressibility and inexpressibility (gadgets/formulas/conjunctive queries and polymorphisms respectively) may be required to be exponentially larger than the instances. We also show that the full expressibility problem is co-NEXPTIME-hard. Our proofs hinge on a novel interpretation of a tiling problem into the expressibility problem." @default.
- W1522877314 created "2016-06-24" @default.
- W1522877314 creator A5078983016 @default.
- W1522877314 date "2010-01-01" @default.
- W1522877314 modified "2023-09-26" @default.
- W1522877314 title "Testing Expressibility Is Hard" @default.
- W1522877314 cites W1549008998 @default.
- W1522877314 cites W1565722675 @default.
- W1522877314 cites W1968015483 @default.
- W1522877314 cites W1981616529 @default.
- W1522877314 cites W2018470381 @default.
- W1522877314 cites W2024768126 @default.
- W1522877314 cites W2025319967 @default.
- W1522877314 cites W2026753685 @default.
- W1522877314 cites W2028127968 @default.
- W1522877314 cites W2149922426 @default.
- W1522877314 cites W2151096784 @default.
- W1522877314 cites W2908450143 @default.
- W1522877314 cites W2911673342 @default.
- W1522877314 cites W2914011939 @default.
- W1522877314 doi "https://doi.org/10.1007/978-3-642-15396-9_4" @default.
- W1522877314 hasPublicationYear "2010" @default.
- W1522877314 type Work @default.
- W1522877314 sameAs 1522877314 @default.
- W1522877314 citedByCount "28" @default.
- W1522877314 countsByYear W15228773142012 @default.
- W1522877314 countsByYear W15228773142013 @default.
- W1522877314 countsByYear W15228773142014 @default.
- W1522877314 countsByYear W15228773142015 @default.
- W1522877314 countsByYear W15228773142016 @default.
- W1522877314 countsByYear W15228773142017 @default.
- W1522877314 countsByYear W15228773142018 @default.
- W1522877314 countsByYear W15228773142019 @default.
- W1522877314 countsByYear W15228773142020 @default.
- W1522877314 crossrefType "book-chapter" @default.
- W1522877314 hasAuthorship W1522877314A5078983016 @default.
- W1522877314 hasBestOaLocation W15228773142 @default.
- W1522877314 hasConcept C108710211 @default.
- W1522877314 hasConcept C11413529 @default.
- W1522877314 hasConcept C118615104 @default.
- W1522877314 hasConcept C134306372 @default.
- W1522877314 hasConcept C16221470 @default.
- W1522877314 hasConcept C2524010 @default.
- W1522877314 hasConcept C2776036281 @default.
- W1522877314 hasConcept C2780654840 @default.
- W1522877314 hasConcept C33923547 @default.
- W1522877314 hasConcept C36503486 @default.
- W1522877314 hasConcept C41008148 @default.
- W1522877314 hasConcept C80444323 @default.
- W1522877314 hasConceptScore W1522877314C108710211 @default.
- W1522877314 hasConceptScore W1522877314C11413529 @default.
- W1522877314 hasConceptScore W1522877314C118615104 @default.
- W1522877314 hasConceptScore W1522877314C134306372 @default.
- W1522877314 hasConceptScore W1522877314C16221470 @default.
- W1522877314 hasConceptScore W1522877314C2524010 @default.
- W1522877314 hasConceptScore W1522877314C2776036281 @default.
- W1522877314 hasConceptScore W1522877314C2780654840 @default.
- W1522877314 hasConceptScore W1522877314C33923547 @default.
- W1522877314 hasConceptScore W1522877314C36503486 @default.
- W1522877314 hasConceptScore W1522877314C41008148 @default.
- W1522877314 hasConceptScore W1522877314C80444323 @default.
- W1522877314 hasLocation W15228773141 @default.
- W1522877314 hasLocation W15228773142 @default.
- W1522877314 hasOpenAccess W1522877314 @default.
- W1522877314 hasPrimaryLocation W15228773141 @default.
- W1522877314 hasRelatedWork W1499749917 @default.
- W1522877314 hasRelatedWork W1603485317 @default.
- W1522877314 hasRelatedWork W2015780695 @default.
- W1522877314 hasRelatedWork W2021410963 @default.
- W1522877314 hasRelatedWork W2386369021 @default.
- W1522877314 hasRelatedWork W2811168821 @default.
- W1522877314 hasRelatedWork W2914892239 @default.
- W1522877314 hasRelatedWork W2963788871 @default.
- W1522877314 hasRelatedWork W3016468266 @default.
- W1522877314 hasRelatedWork W3174634921 @default.
- W1522877314 isParatext "false" @default.
- W1522877314 isRetracted "false" @default.
- W1522877314 magId "1522877314" @default.
- W1522877314 workType "book-chapter" @default.