Matches in SemOpenAlex for { <https://semopenalex.org/work/W4298077110> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4298077110 abstract "The Promise Constraint Satisfaction Problem (PCSP) is a generalization of the Constraint Satisfaction Problem (CSP) that includes approximation variants of satisfiability and graph coloring problems. Barto [LICS '19] has shown that a specific PCSP, the problem to find a valid Not-All-Equal solution to a 1-in-3-SAT instance, is not finitely tractable in that it can be solved by a trivial reduction to a tractable CSP, but such a CSP is necessarily over an infinite domain (unless P=NP). We initiate a systematic study of this phenomenon by giving a general necessary condition for finite tractability and characterizing finite tractability within a class of templates - the basic tractable cases in the dichotomy theorem for symmetric Boolean PCSPs allowing negations by Brakensiek and Guruswami [SODA'18]." @default.
- W4298077110 created "2022-10-01" @default.
- W4298077110 creator A5003809278 @default.
- W4298077110 creator A5071004419 @default.
- W4298077110 date "2020-10-09" @default.
- W4298077110 modified "2023-09-29" @default.
- W4298077110 title "Finitely Tractable Promise Constraint Satisfaction Problems" @default.
- W4298077110 doi "https://doi.org/10.48550/arxiv.2010.04618" @default.
- W4298077110 hasPublicationYear "2020" @default.
- W4298077110 type Work @default.
- W4298077110 citedByCount "0" @default.
- W4298077110 crossrefType "posted-content" @default.
- W4298077110 hasAuthorship W4298077110A5003809278 @default.
- W4298077110 hasAuthorship W4298077110A5071004419 @default.
- W4298077110 hasBestOaLocation W42980771101 @default.
- W4298077110 hasConcept C105795698 @default.
- W4298077110 hasConcept C111335779 @default.
- W4298077110 hasConcept C118615104 @default.
- W4298077110 hasConcept C126255220 @default.
- W4298077110 hasConcept C134306372 @default.
- W4298077110 hasConcept C154945302 @default.
- W4298077110 hasConcept C168773769 @default.
- W4298077110 hasConcept C177148314 @default.
- W4298077110 hasConcept C199360897 @default.
- W4298077110 hasConcept C199622910 @default.
- W4298077110 hasConcept C2185349 @default.
- W4298077110 hasConcept C2524010 @default.
- W4298077110 hasConcept C2776036281 @default.
- W4298077110 hasConcept C2777212361 @default.
- W4298077110 hasConcept C33923547 @default.
- W4298077110 hasConcept C41008148 @default.
- W4298077110 hasConcept C44616089 @default.
- W4298077110 hasConcept C49937458 @default.
- W4298077110 hasConceptScore W4298077110C105795698 @default.
- W4298077110 hasConceptScore W4298077110C111335779 @default.
- W4298077110 hasConceptScore W4298077110C118615104 @default.
- W4298077110 hasConceptScore W4298077110C126255220 @default.
- W4298077110 hasConceptScore W4298077110C134306372 @default.
- W4298077110 hasConceptScore W4298077110C154945302 @default.
- W4298077110 hasConceptScore W4298077110C168773769 @default.
- W4298077110 hasConceptScore W4298077110C177148314 @default.
- W4298077110 hasConceptScore W4298077110C199360897 @default.
- W4298077110 hasConceptScore W4298077110C199622910 @default.
- W4298077110 hasConceptScore W4298077110C2185349 @default.
- W4298077110 hasConceptScore W4298077110C2524010 @default.
- W4298077110 hasConceptScore W4298077110C2776036281 @default.
- W4298077110 hasConceptScore W4298077110C2777212361 @default.
- W4298077110 hasConceptScore W4298077110C33923547 @default.
- W4298077110 hasConceptScore W4298077110C41008148 @default.
- W4298077110 hasConceptScore W4298077110C44616089 @default.
- W4298077110 hasConceptScore W4298077110C49937458 @default.
- W4298077110 hasLocation W42980771101 @default.
- W4298077110 hasOpenAccess W4298077110 @default.
- W4298077110 hasPrimaryLocation W42980771101 @default.
- W4298077110 hasRelatedWork W1483619492 @default.
- W4298077110 hasRelatedWork W1515598460 @default.
- W4298077110 hasRelatedWork W1593899949 @default.
- W4298077110 hasRelatedWork W1848884953 @default.
- W4298077110 hasRelatedWork W2011875321 @default.
- W4298077110 hasRelatedWork W2121267470 @default.
- W4298077110 hasRelatedWork W2123500285 @default.
- W4298077110 hasRelatedWork W2180856585 @default.
- W4298077110 hasRelatedWork W2365854838 @default.
- W4298077110 hasRelatedWork W2953287580 @default.
- W4298077110 isParatext "false" @default.
- W4298077110 isRetracted "false" @default.
- W4298077110 workType "article" @default.