Matches in SemOpenAlex for { <https://semopenalex.org/work/W2161955489> ?p ?o ?g. }
- W2161955489 endingPage "79" @default.
- W2161955489 startingPage "38" @default.
- W2161955489 created "2016-06-24" @default.
- W2161955489 creator A5042183912 @default.
- W2161955489 creator A5065693180 @default.
- W2161955489 creator A5006053030 @default.
- W2161955489 date "2008-07-13" @default.
- W2161955489 modified "2023-09-27" @default.
- W2161955489 title "A solver for QBFs in negation normal form" @default.
- W2161955489 cites W1515623105 @default.
- W2161955489 cites W1528868468 @default.
- W2161955489 cites W1544998733 @default.
- W2161955489 cites W1553278548 @default.
- W2161955489 cites W1570226938 @default.
- W2161955489 cites W1668569556 @default.
- W2161955489 cites W1674218127 @default.
- W2161955489 cites W1877759623 @default.
- W2161955489 cites W1916519491 @default.
- W2161955489 cites W1996010294 @default.
- W2161955489 cites W1999997889 @default.
- W2161955489 cites W2014613778 @default.
- W2161955489 cites W2043673291 @default.
- W2161955489 cites W2067627899 @default.
- W2161955489 cites W2070717151 @default.
- W2161955489 cites W2090172107 @default.
- W2161955489 cites W2105074687 @default.
- W2161955489 cites W2108530105 @default.
- W2161955489 cites W2112446538 @default.
- W2161955489 cites W2140783059 @default.
- W2161955489 cites W2170288398 @default.
- W2161955489 cites W2914871854 @default.
- W2161955489 cites W3098378096 @default.
- W2161955489 cites W4239069293 @default.
- W2161955489 cites W2028393161 @default.
- W2161955489 doi "https://doi.org/10.1007/s10601-008-9055-y" @default.
- W2161955489 hasPublicationYear "2008" @default.
- W2161955489 type Work @default.
- W2161955489 sameAs 2161955489 @default.
- W2161955489 citedByCount "27" @default.
- W2161955489 countsByYear W21619554892012 @default.
- W2161955489 countsByYear W21619554892013 @default.
- W2161955489 countsByYear W21619554892014 @default.
- W2161955489 countsByYear W21619554892015 @default.
- W2161955489 countsByYear W21619554892016 @default.
- W2161955489 countsByYear W21619554892018 @default.
- W2161955489 countsByYear W21619554892020 @default.
- W2161955489 countsByYear W21619554892021 @default.
- W2161955489 countsByYear W21619554892023 @default.
- W2161955489 crossrefType "journal-article" @default.
- W2161955489 hasAuthorship W2161955489A5006053030 @default.
- W2161955489 hasAuthorship W2161955489A5042183912 @default.
- W2161955489 hasAuthorship W2161955489A5065693180 @default.
- W2161955489 hasConcept C104317684 @default.
- W2161955489 hasConcept C105580179 @default.
- W2161955489 hasConcept C11413529 @default.
- W2161955489 hasConcept C120665830 @default.
- W2161955489 hasConcept C121332964 @default.
- W2161955489 hasConcept C126255220 @default.
- W2161955489 hasConcept C136726353 @default.
- W2161955489 hasConcept C149364088 @default.
- W2161955489 hasConcept C154945302 @default.
- W2161955489 hasConcept C16221470 @default.
- W2161955489 hasConcept C185592680 @default.
- W2161955489 hasConcept C192209626 @default.
- W2161955489 hasConcept C204241405 @default.
- W2161955489 hasConcept C2778770139 @default.
- W2161955489 hasConcept C33923547 @default.
- W2161955489 hasConcept C41008148 @default.
- W2161955489 hasConcept C55493867 @default.
- W2161955489 hasConceptScore W2161955489C104317684 @default.
- W2161955489 hasConceptScore W2161955489C105580179 @default.
- W2161955489 hasConceptScore W2161955489C11413529 @default.
- W2161955489 hasConceptScore W2161955489C120665830 @default.
- W2161955489 hasConceptScore W2161955489C121332964 @default.
- W2161955489 hasConceptScore W2161955489C126255220 @default.
- W2161955489 hasConceptScore W2161955489C136726353 @default.
- W2161955489 hasConceptScore W2161955489C149364088 @default.
- W2161955489 hasConceptScore W2161955489C154945302 @default.
- W2161955489 hasConceptScore W2161955489C16221470 @default.
- W2161955489 hasConceptScore W2161955489C185592680 @default.
- W2161955489 hasConceptScore W2161955489C192209626 @default.
- W2161955489 hasConceptScore W2161955489C204241405 @default.
- W2161955489 hasConceptScore W2161955489C2778770139 @default.
- W2161955489 hasConceptScore W2161955489C33923547 @default.
- W2161955489 hasConceptScore W2161955489C41008148 @default.
- W2161955489 hasConceptScore W2161955489C55493867 @default.
- W2161955489 hasIssue "1" @default.
- W2161955489 hasLocation W21619554891 @default.
- W2161955489 hasOpenAccess W2161955489 @default.
- W2161955489 hasPrimaryLocation W21619554891 @default.
- W2161955489 hasRelatedWork W1978916005 @default.
- W2161955489 hasRelatedWork W2161955489 @default.
- W2161955489 hasRelatedWork W2355295171 @default.
- W2161955489 hasRelatedWork W2364684176 @default.
- W2161955489 hasRelatedWork W2365767001 @default.
- W2161955489 hasRelatedWork W2368813805 @default.
- W2161955489 hasRelatedWork W2370559189 @default.
- W2161955489 hasRelatedWork W2382891046 @default.
- W2161955489 hasRelatedWork W2383447474 @default.
- W2161955489 hasRelatedWork W2164267854 @default.