Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952681525> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2952681525 abstract "Quantified constraints and Quantified Boolean Formulae are typically much more difficult to reason with than classical constraints, because quantifier alternation makes the usual notion of solution inappropriate. As a consequence, basic properties of Constraint Satisfaction Problems (CSP), such as consistency or substitutability, are not completely understood in the quantified case. These properties are important because they are the basis of most of the reasoning methods used to solve classical (existentially quantified) constraints, and one would like to benefit from similar reasoning methods in the resolution of quantified constraints. In this paper, we show that most of the properties that are used by solvers for CSP can be generalized to quantified CSP. This requires a re-thinking of a number of basic concepts; in particular, we propose a notion of outcome that generalizes the classical notion of solution and on which all definitions are based. 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 generalize the approach used in CSP and propose weaker, easier to check notions based on locality, which allow to detect these properties incompletely but in polynomial time." @default.
- W2952681525 created "2019-06-27" @default.
- W2952681525 creator A5027115201 @default.
- W2952681525 creator A5081257309 @default.
- W2952681525 creator A5084753554 @default.
- W2952681525 date "2007-05-24" @default.
- W2952681525 modified "2023-09-27" @default.
- W2952681525 title "Generalizing Consistency and other Constraint Properties to Quantified Constraints" @default.
- W2952681525 cites W1501554968 @default.
- W2952681525 cites W153481334 @default.
- W2952681525 cites W153965054 @default.
- W2952681525 cites W1556844982 @default.
- W2952681525 cites W1581900214 @default.
- W2952681525 cites W1650993530 @default.
- W2952681525 cites W1998084650 @default.
- W2952681525 cites W2065251436 @default.
- W2952681525 cites W2135432705 @default.
- W2952681525 cites W2914871854 @default.
- W2952681525 hasPublicationYear "2007" @default.
- W2952681525 type Work @default.
- W2952681525 sameAs 2952681525 @default.
- W2952681525 citedByCount "0" @default.
- W2952681525 crossrefType "posted-content" @default.
- W2952681525 hasAuthorship W2952681525A5027115201 @default.
- W2952681525 hasAuthorship W2952681525A5081257309 @default.
- W2952681525 hasAuthorship W2952681525A5084753554 @default.
- W2952681525 hasConcept C126255220 @default.
- W2952681525 hasConcept C137105694 @default.
- W2952681525 hasConcept C138268822 @default.
- W2952681525 hasConcept C138885662 @default.
- W2952681525 hasConcept C154945302 @default.
- W2952681525 hasConcept C199360897 @default.
- W2952681525 hasConcept C199622910 @default.
- W2952681525 hasConcept C2524010 @default.
- W2952681525 hasConcept C26826806 @default.
- W2952681525 hasConcept C2776036281 @default.
- W2952681525 hasConcept C2776436953 @default.
- W2952681525 hasConcept C2778523021 @default.
- W2952681525 hasConcept C2779808786 @default.
- W2952681525 hasConcept C32278780 @default.
- W2952681525 hasConcept C33923547 @default.
- W2952681525 hasConcept C41008148 @default.
- W2952681525 hasConcept C41895202 @default.
- W2952681525 hasConcept C44616089 @default.
- W2952681525 hasConcept C49937458 @default.
- W2952681525 hasConcept C80444323 @default.
- W2952681525 hasConceptScore W2952681525C126255220 @default.
- W2952681525 hasConceptScore W2952681525C137105694 @default.
- W2952681525 hasConceptScore W2952681525C138268822 @default.
- W2952681525 hasConceptScore W2952681525C138885662 @default.
- W2952681525 hasConceptScore W2952681525C154945302 @default.
- W2952681525 hasConceptScore W2952681525C199360897 @default.
- W2952681525 hasConceptScore W2952681525C199622910 @default.
- W2952681525 hasConceptScore W2952681525C2524010 @default.
- W2952681525 hasConceptScore W2952681525C26826806 @default.
- W2952681525 hasConceptScore W2952681525C2776036281 @default.
- W2952681525 hasConceptScore W2952681525C2776436953 @default.
- W2952681525 hasConceptScore W2952681525C2778523021 @default.
- W2952681525 hasConceptScore W2952681525C2779808786 @default.
- W2952681525 hasConceptScore W2952681525C32278780 @default.
- W2952681525 hasConceptScore W2952681525C33923547 @default.
- W2952681525 hasConceptScore W2952681525C41008148 @default.
- W2952681525 hasConceptScore W2952681525C41895202 @default.
- W2952681525 hasConceptScore W2952681525C44616089 @default.
- W2952681525 hasConceptScore W2952681525C49937458 @default.
- W2952681525 hasConceptScore W2952681525C80444323 @default.
- W2952681525 hasLocation W29526815251 @default.
- W2952681525 hasOpenAccess W2952681525 @default.
- W2952681525 hasPrimaryLocation W29526815251 @default.
- W2952681525 hasRelatedWork W134890678 @default.
- W2952681525 hasRelatedWork W1513432897 @default.
- W2952681525 hasRelatedWork W1567090739 @default.
- W2952681525 hasRelatedWork W1587481346 @default.
- W2952681525 hasRelatedWork W1615001418 @default.
- W2952681525 hasRelatedWork W1828950263 @default.
- W2952681525 hasRelatedWork W1863800201 @default.
- W2952681525 hasRelatedWork W1982849375 @default.
- W2952681525 hasRelatedWork W2022485444 @default.
- W2952681525 hasRelatedWork W2114785958 @default.
- W2952681525 hasRelatedWork W2163565855 @default.
- W2952681525 hasRelatedWork W2170864893 @default.
- W2952681525 hasRelatedWork W2182740669 @default.
- W2952681525 hasRelatedWork W2247886904 @default.
- W2952681525 hasRelatedWork W2396822542 @default.
- W2952681525 hasRelatedWork W2528091818 @default.
- W2952681525 hasRelatedWork W2803796690 @default.
- W2952681525 hasRelatedWork W2903136864 @default.
- W2952681525 hasRelatedWork W2183565537 @default.
- W2952681525 isParatext "false" @default.
- W2952681525 isRetracted "false" @default.
- W2952681525 magId "2952681525" @default.
- W2952681525 workType "article" @default.