FRINK Linked Data Fragments server

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

• W2954569737 endingPage "44" @default.
• W2954569737 startingPage "1" @default.
• W2954569737 abstract "We give a surprising classification for the computational complexity of the Quantified Constraint Satisfaction Problem over a constraint language Γ, QCSP(Γ), where Γ is a finite language over three elements that contains all constants. In particular, such problems are in P, NP-complete, co-NP-complete, or PSpace-complete. Our classification refutes the hitherto widely believed Chen Conjecture. Additionally, we show that already on a 4-element domain there exists a constraint language Γ such that QCSP(Γ) is DP-complete (from Boolean Hierarchy), and on a 10-element domain there exists a constraint language giving the complexity class Θ P 2 . Meanwhile, we prove the Chen Conjecture for finite conservative languages Γ. If the polymorphism clone of such Γ has the polynomially generated powers property, then QCSP(Γ) is in NP. Otherwise, the polymorphism clone of Γ has the exponentially generated powers property and QCSP(Γ) is PSpace-complete. 1" @default.
• W2954569737 created "2019-07-12" @default.
• W2954569737 creator A5013230954 @default.
• W2954569737 creator A5060991122 @default.
• W2954569737 date "2022-10-28" @default.
• W2954569737 modified "2023-09-26" @default.
• W2954569737 title "QCSP Monsters and the Demise of the Chen Conjecture" @default.
• W2954569737 cites W1492919123 @default.
• W2954569737 cites W1497273694 @default.
• W2954569737 cites W1528746298 @default.
• W2954569737 cites W1968948791 @default.
• W2954569737 cites W1988790603 @default.
• W2954569737 cites W2012141606 @default.
• W2954569737 cites W2026753685 @default.
• W2954569737 cites W2046586055 @default.
• W2954569737 cites W2076946745 @default.
• W2954569737 cites W2089546742 @default.
• W2954569737 cites W2149922426 @default.
• W2954569737 cites W2166566648 @default.
• W2954569737 cites W2276690803 @default.
• W2954569737 cites W2324696293 @default.
• W2954569737 cites W2395088789 @default.
• W2954569737 cites W2543504241 @default.
• W2954569737 cites W2592947705 @default.
• W2954569737 cites W2613504727 @default.
• W2954569737 cites W2729308697 @default.
• W2954569737 cites W2776885602 @default.
• W2954569737 cites W2962785950 @default.
• W2954569737 cites W2962983973 @default.
• W2954569737 cites W2963666051 @default.
• W2954569737 cites W2963678585 @default.
• W2954569737 cites W2963768895 @default.
• W2954569737 cites W2963983432 @default.
• W2954569737 cites W4251337778 @default.
• W2954569737 cites W3035200231 @default.
• W2954569737 doi "https://doi.org/10.1145/3563820" @default.
• W2954569737 hasPublicationYear "2022" @default.
• W2954569737 type Work @default.
• W2954569737 sameAs 2954569737 @default.
• W2954569737 citedByCount "0" @default.
• W2954569737 crossrefType "journal-article" @default.
• W2954569737 hasAuthorship W2954569737A5013230954 @default.
• W2954569737 hasAuthorship W2954569737A5060991122 @default.
• W2954569737 hasBestOaLocation W29545697372 @default.
• W2954569737 hasConcept C105795698 @default.
• W2954569737 hasConcept C11413529 @default.
• W2954569737 hasConcept C114614502 @default.
• W2954569737 hasConcept C118615104 @default.
• W2954569737 hasConcept C134306372 @default.
• W2954569737 hasConcept C151730666 @default.
• W2954569737 hasConcept C162324750 @default.
• W2954569737 hasConcept C179799912 @default.
• W2954569737 hasConcept C197685441 @default.
• W2954569737 hasConcept C199622910 @default.
• W2954569737 hasConcept C2524010 @default.
• W2954569737 hasConcept C2776036281 @default.
• W2954569737 hasConcept C2776085556 @default.
• W2954569737 hasConcept C2780990831 @default.
• W2954569737 hasConcept C311688 @default.
• W2954569737 hasConcept C31170391 @default.
• W2954569737 hasConcept C33923547 @default.
• W2954569737 hasConcept C34447519 @default.
• W2954569737 hasConcept C36503486 @default.
• W2954569737 hasConcept C39637292 @default.
• W2954569737 hasConcept C49937458 @default.
• W2954569737 hasConcept C86803240 @default.
• W2954569737 hasConceptScore W2954569737C105795698 @default.
• W2954569737 hasConceptScore W2954569737C11413529 @default.
• W2954569737 hasConceptScore W2954569737C114614502 @default.
• W2954569737 hasConceptScore W2954569737C118615104 @default.
• W2954569737 hasConceptScore W2954569737C134306372 @default.
• W2954569737 hasConceptScore W2954569737C151730666 @default.
• W2954569737 hasConceptScore W2954569737C162324750 @default.
• W2954569737 hasConceptScore W2954569737C179799912 @default.
• W2954569737 hasConceptScore W2954569737C197685441 @default.
• W2954569737 hasConceptScore W2954569737C199622910 @default.
• W2954569737 hasConceptScore W2954569737C2524010 @default.
• W2954569737 hasConceptScore W2954569737C2776036281 @default.
• W2954569737 hasConceptScore W2954569737C2776085556 @default.
• W2954569737 hasConceptScore W2954569737C2780990831 @default.
• W2954569737 hasConceptScore W2954569737C311688 @default.
• W2954569737 hasConceptScore W2954569737C31170391 @default.
• W2954569737 hasConceptScore W2954569737C33923547 @default.
• W2954569737 hasConceptScore W2954569737C34447519 @default.
• W2954569737 hasConceptScore W2954569737C36503486 @default.
• W2954569737 hasConceptScore W2954569737C39637292 @default.
• W2954569737 hasConceptScore W2954569737C49937458 @default.
• W2954569737 hasConceptScore W2954569737C86803240 @default.
• W2954569737 hasIssue "5" @default.
• W2954569737 hasLocation W29545697371 @default.
• W2954569737 hasLocation W29545697372 @default.
• W2954569737 hasLocation W29545697373 @default.
• W2954569737 hasLocation W29545697374 @default.
• W2954569737 hasOpenAccess W2954569737 @default.
• W2954569737 hasPrimaryLocation W29545697371 @default.
• W2954569737 hasRelatedWork W2075406496 @default.
• W2954569737 hasRelatedWork W2078740210 @default.
• W2954569737 hasRelatedWork W2117846338 @default.

• next