FRINK Linked Data Fragments server

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

• W2000423606 endingPage "490" @default.
• W2000423606 startingPage "454" @default.
• W2000423606 abstract "In this paper we are interested in quantified propositional formulas in conjunctive normal form with “clauses” of arbitrary shapes. i.e., consisting of applying arbitrary relations to variables. We study the complexity of the evaluation problem, the model checking problem, the equivalence problem, and the counting problem for such formulas, both with and without a bound on the number of quantifier alternations. For each of these computational goals we get full complexity classifications: We determine the complexity of each of these problems depending on the set of relations allowed in the input formulas. Thus, on the one hand we exhibit syntactic restrictions of the original problems that are still computationally hard, and on the other hand we identify non-trivial subcases that admit efficient algorithms." @default.
• W2000423606 created "2016-06-24" @default.
• W2000423606 creator A5008982209 @default.
• W2000423606 creator A5015972134 @default.
• W2000423606 creator A5023193609 @default.
• W2000423606 creator A5071452884 @default.
• W2000423606 creator A5082114974 @default.
• W2000423606 creator A5090333344 @default.
• W2000423606 date "2009-02-25" @default.
• W2000423606 modified "2023-09-26" @default.
• W2000423606 title "The Complexity of Problems for Quantified Constraints" @default.
• W2000423606 cites W1515962957 @default.
• W2000423606 cites W1571873445 @default.
• W2000423606 cites W1577526318 @default.
• W2000423606 cites W1618174268 @default.
• W2000423606 cites W1883324231 @default.
• W2000423606 cites W1973146909 @default.
• W2000423606 cites W1988790603 @default.
• W2000423606 cites W1993180032 @default.
• W2000423606 cites W1996184580 @default.
• W2000423606 cites W2006912660 @default.
• W2000423606 cites W2007464118 @default.
• W2000423606 cites W2035877205 @default.
• W2000423606 cites W2050190588 @default.
• W2000423606 cites W2065251436 @default.
• W2000423606 cites W2072639390 @default.
• W2000423606 cites W2091345559 @default.
• W2000423606 cites W2093869254 @default.
• W2000423606 cites W2115826669 @default.
• W2000423606 cites W2116407296 @default.
• W2000423606 cites W2131358503 @default.
• W2000423606 cites W2133260738 @default.
• W2000423606 cites W2137407595 @default.
• W2000423606 cites W2158800868 @default.
• W2000423606 cites W2319549361 @default.
• W2000423606 cites W2477550702 @default.
• W2000423606 cites W2492857469 @default.
• W2000423606 cites W2504299149 @default.
• W2000423606 cites W4230626603 @default.
• W2000423606 doi "https://doi.org/10.1007/s00224-009-9194-6" @default.
• W2000423606 hasPublicationYear "2009" @default.
• W2000423606 type Work @default.
• W2000423606 sameAs 2000423606 @default.
• W2000423606 citedByCount "10" @default.
• W2000423606 countsByYear W20004236062012 @default.
• W2000423606 countsByYear W20004236062013 @default.
• W2000423606 countsByYear W20004236062015 @default.
• W2000423606 countsByYear W20004236062017 @default.
• W2000423606 countsByYear W20004236062018 @default.
• W2000423606 countsByYear W20004236062022 @default.
• W2000423606 crossrefType "journal-article" @default.
• W2000423606 hasAuthorship W2000423606A5008982209 @default.
• W2000423606 hasAuthorship W2000423606A5015972134 @default.
• W2000423606 hasAuthorship W2000423606A5023193609 @default.
• W2000423606 hasAuthorship W2000423606A5071452884 @default.
• W2000423606 hasAuthorship W2000423606A5082114974 @default.
• W2000423606 hasAuthorship W2000423606A5090333344 @default.
• W2000423606 hasBestOaLocation W20004236064 @default.
• W2000423606 hasConcept C11413529 @default.
• W2000423606 hasConcept C115988155 @default.
• W2000423606 hasConcept C118615104 @default.
• W2000423606 hasConcept C134306372 @default.
• W2000423606 hasConcept C154945302 @default.
• W2000423606 hasConcept C16221470 @default.
• W2000423606 hasConcept C177264268 @default.
• W2000423606 hasConcept C179799912 @default.
• W2000423606 hasConcept C199360897 @default.
• W2000423606 hasConcept C2778523021 @default.
• W2000423606 hasConcept C2780069185 @default.
• W2000423606 hasConcept C32278780 @default.
• W2000423606 hasConcept C33923547 @default.
• W2000423606 hasConcept C41008148 @default.
• W2000423606 hasConcept C77553402 @default.
• W2000423606 hasConcept C80444323 @default.
• W2000423606 hasConceptScore W2000423606C11413529 @default.
• W2000423606 hasConceptScore W2000423606C115988155 @default.
• W2000423606 hasConceptScore W2000423606C118615104 @default.
• W2000423606 hasConceptScore W2000423606C134306372 @default.
• W2000423606 hasConceptScore W2000423606C154945302 @default.
• W2000423606 hasConceptScore W2000423606C16221470 @default.
• W2000423606 hasConceptScore W2000423606C177264268 @default.
• W2000423606 hasConceptScore W2000423606C179799912 @default.
• W2000423606 hasConceptScore W2000423606C199360897 @default.
• W2000423606 hasConceptScore W2000423606C2778523021 @default.
• W2000423606 hasConceptScore W2000423606C2780069185 @default.
• W2000423606 hasConceptScore W2000423606C32278780 @default.
• W2000423606 hasConceptScore W2000423606C33923547 @default.
• W2000423606 hasConceptScore W2000423606C41008148 @default.
• W2000423606 hasConceptScore W2000423606C77553402 @default.
• W2000423606 hasConceptScore W2000423606C80444323 @default.
• W2000423606 hasIssue "2" @default.
• W2000423606 hasLocation W20004236061 @default.
• W2000423606 hasLocation W20004236062 @default.
• W2000423606 hasLocation W20004236063 @default.
• W2000423606 hasLocation W20004236064 @default.
• W2000423606 hasOpenAccess W2000423606 @default.
• W2000423606 hasPrimaryLocation W20004236061 @default.
• W2000423606 hasRelatedWork W1611663043 @default.

• next