FRINK Linked Data Fragments server

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

• W1513432897 endingPage "365" @default.
• W1513432897 startingPage "360" @default.
• W1513432897 abstract "Quantified constraints and Quantified Boolean Formulae are typically much more difficult to reason with than classical constraints, because quantifier alternation makes the simple, classical notion of solution inappropriate. As a consequence, even such essential CSP properties as consistency or substitutability are not completely understood in the quantified case.In this paper, we show that most of the properties which are used by solvers for CSP can be generalized to Quantified CSP. We propose a systematic study of the relations which hold between these properties, as well as complexity results regarding the decision of these properties. Finally, and since these problems are typically intractable, we generalise the approach used in CSP and propose weakenings of these notions based on locality, which allow for a tractable, albeit incomplete detecting of these properties." @default.
• W1513432897 created "2016-06-24" @default.
• W1513432897 creator A5027115201 @default.
• W1513432897 creator A5081257309 @default.
• W1513432897 creator A5084753554 @default.
• W1513432897 date "2005-07-09" @default.
• W1513432897 modified "2023-10-18" @default.
• W1513432897 title "CSP properties for quantified constraints: definitions and complexity" @default.
• W1513432897 cites W1501554968 @default.
• W1513432897 cites W1533315542 @default.
• W1513432897 cites W153965054 @default.
• W1513432897 cites W1591280817 @default.
• W1513432897 cites W1595338915 @default.
• W1513432897 cites W1650993530 @default.
• W1513432897 cites W1751050247 @default.
• W1513432897 cites W1773460911 @default.
• W1513432897 cites W1862403209 @default.
• W1513432897 cites W1871270642 @default.
• W1513432897 cites W1976876676 @default.
• W1513432897 cites W2135432705 @default.
• W1513432897 cites W56447744 @default.
• W1513432897 cites W76351127 @default.
• W1513432897 cites W1797082784 @default.
• W1513432897 cites W2611507584 @default.
• W1513432897 hasPublicationYear "2005" @default.
• W1513432897 type Work @default.
• W1513432897 sameAs 1513432897 @default.
• W1513432897 citedByCount "6" @default.
• W1513432897 countsByYear W15134328972012 @default.
• W1513432897 countsByYear W15134328972013 @default.
• W1513432897 crossrefType "proceedings-article" @default.
• W1513432897 hasAuthorship W1513432897A5027115201 @default.
• W1513432897 hasAuthorship W1513432897A5081257309 @default.
• W1513432897 hasAuthorship W1513432897A5084753554 @default.
• W1513432897 hasConcept C111472728 @default.
• W1513432897 hasConcept C126255220 @default.
• W1513432897 hasConcept C137105694 @default.
• W1513432897 hasConcept C138885662 @default.
• W1513432897 hasConcept C154945302 @default.
• W1513432897 hasConcept C16221470 @default.
• W1513432897 hasConcept C199360897 @default.
• W1513432897 hasConcept C199622910 @default.
• W1513432897 hasConcept C26826806 @default.
• W1513432897 hasConcept C2776436953 @default.
• W1513432897 hasConcept C2778523021 @default.
• W1513432897 hasConcept C2779808786 @default.
• W1513432897 hasConcept C2780586882 @default.
• W1513432897 hasConcept C32278780 @default.
• W1513432897 hasConcept C33923547 @default.
• W1513432897 hasConcept C41008148 @default.
• W1513432897 hasConcept C41895202 @default.
• W1513432897 hasConcept C49937458 @default.
• W1513432897 hasConcept C80444323 @default.
• W1513432897 hasConceptScore W1513432897C111472728 @default.
• W1513432897 hasConceptScore W1513432897C126255220 @default.
• W1513432897 hasConceptScore W1513432897C137105694 @default.
• W1513432897 hasConceptScore W1513432897C138885662 @default.
• W1513432897 hasConceptScore W1513432897C154945302 @default.
• W1513432897 hasConceptScore W1513432897C16221470 @default.
• W1513432897 hasConceptScore W1513432897C199360897 @default.
• W1513432897 hasConceptScore W1513432897C199622910 @default.
• W1513432897 hasConceptScore W1513432897C26826806 @default.
• W1513432897 hasConceptScore W1513432897C2776436953 @default.
• W1513432897 hasConceptScore W1513432897C2778523021 @default.
• W1513432897 hasConceptScore W1513432897C2779808786 @default.
• W1513432897 hasConceptScore W1513432897C2780586882 @default.
• W1513432897 hasConceptScore W1513432897C32278780 @default.
• W1513432897 hasConceptScore W1513432897C33923547 @default.
• W1513432897 hasConceptScore W1513432897C41008148 @default.
• W1513432897 hasConceptScore W1513432897C41895202 @default.
• W1513432897 hasConceptScore W1513432897C49937458 @default.
• W1513432897 hasConceptScore W1513432897C80444323 @default.
• W1513432897 hasLocation W15134328971 @default.
• W1513432897 hasOpenAccess W1513432897 @default.
• W1513432897 hasPrimaryLocation W15134328971 @default.
• W1513432897 hasRelatedWork W1528045696 @default.
• W1513432897 hasRelatedWork W1533315542 @default.
• W1513432897 hasRelatedWork W1595338915 @default.
• W1513432897 hasRelatedWork W1615001418 @default.
• W1513432897 hasRelatedWork W1733489975 @default.
• W1513432897 hasRelatedWork W1744864473 @default.
• W1513432897 hasRelatedWork W1752785500 @default.
• W1513432897 hasRelatedWork W1773460911 @default.
• W1513432897 hasRelatedWork W1828950263 @default.
• W1513432897 hasRelatedWork W2011617423 @default.
• W1513432897 hasRelatedWork W2122410182 @default.
• W1513432897 hasRelatedWork W2135432705 @default.
• W1513432897 hasRelatedWork W2163565855 @default.
• W1513432897 hasRelatedWork W21702957 @default.
• W1513432897 hasRelatedWork W2255080479 @default.
• W1513432897 hasRelatedWork W2952681525 @default.
• W1513432897 hasRelatedWork W76351127 @default.
• W1513432897 hasRelatedWork W94279159 @default.
• W1513432897 hasRelatedWork W1797082784 @default.
• W1513432897 hasRelatedWork W2183565537 @default.
• W1513432897 isParatext "false" @default.
• W1513432897 isRetracted "false" @default.
• W1513432897 magId "1513432897" @default.

• next