Matches in SemOpenAlex for { <https://semopenalex.org/work/W2551472758> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2551472758 abstract "We investigate the computational complexity of #SAT for k-outerplanar formulas, a problem which in general is #P-complete. For 1-outerplanar formulas over n variables we solve #SAT in time O(n). More generally, we show that #SAT for kouterplanar graphs, k ≥ 2, can be solved in time O(n). Finally, we prove that #SAT for nested formulas runs in time O(n)." @default.
- W2551472758 created "2016-11-30" @default.
- W2551472758 creator A5019626258 @default.
- W2551472758 creator A5051676325 @default.
- W2551472758 date "2015-01-01" @default.
- W2551472758 modified "2023-09-26" @default.
- W2551472758 title "On Counting Planar Models" @default.
- W2551472758 cites W1566273688 @default.
- W2551472758 cites W1627230931 @default.
- W2551472758 cites W1742967631 @default.
- W2551472758 cites W2031823362 @default.
- W2551472758 cites W2036265926 @default.
- W2551472758 cites W2038643780 @default.
- W2551472758 cites W2079107830 @default.
- W2551472758 cites W2087083200 @default.
- W2551472758 cites W2106171305 @default.
- W2551472758 cites W2109716789 @default.
- W2551472758 cites W2115826669 @default.
- W2551472758 cites W2143474538 @default.
- W2551472758 cites W2166566648 @default.
- W2551472758 cites W2401610261 @default.
- W2551472758 cites W2913068454 @default.
- W2551472758 cites W2913688336 @default.
- W2551472758 cites W3149604617 @default.
- W2551472758 cites W87882328 @default.
- W2551472758 hasPublicationYear "2015" @default.
- W2551472758 type Work @default.
- W2551472758 sameAs 2551472758 @default.
- W2551472758 citedByCount "0" @default.
- W2551472758 crossrefType "journal-article" @default.
- W2551472758 hasAuthorship W2551472758A5019626258 @default.
- W2551472758 hasAuthorship W2551472758A5051676325 @default.
- W2551472758 hasConcept C11413529 @default.
- W2551472758 hasConcept C114614502 @default.
- W2551472758 hasConcept C118615104 @default.
- W2551472758 hasConcept C121684516 @default.
- W2551472758 hasConcept C134786449 @default.
- W2551472758 hasConcept C179799912 @default.
- W2551472758 hasConcept C311688 @default.
- W2551472758 hasConcept C33923547 @default.
- W2551472758 hasConcept C41008148 @default.
- W2551472758 hasConceptScore W2551472758C11413529 @default.
- W2551472758 hasConceptScore W2551472758C114614502 @default.
- W2551472758 hasConceptScore W2551472758C118615104 @default.
- W2551472758 hasConceptScore W2551472758C121684516 @default.
- W2551472758 hasConceptScore W2551472758C134786449 @default.
- W2551472758 hasConceptScore W2551472758C179799912 @default.
- W2551472758 hasConceptScore W2551472758C311688 @default.
- W2551472758 hasConceptScore W2551472758C33923547 @default.
- W2551472758 hasConceptScore W2551472758C41008148 @default.
- W2551472758 hasLocation W25514727581 @default.
- W2551472758 hasOpenAccess W2551472758 @default.
- W2551472758 hasPrimaryLocation W25514727581 @default.
- W2551472758 hasRelatedWork W1500696169 @default.
- W2551472758 hasRelatedWork W1555583279 @default.
- W2551472758 hasRelatedWork W1577244476 @default.
- W2551472758 hasRelatedWork W1618878876 @default.
- W2551472758 hasRelatedWork W1975501803 @default.
- W2551472758 hasRelatedWork W1987462672 @default.
- W2551472758 hasRelatedWork W2023212718 @default.
- W2551472758 hasRelatedWork W2043560626 @default.
- W2551472758 hasRelatedWork W2071318745 @default.
- W2551472758 hasRelatedWork W2134514766 @default.
- W2551472758 hasRelatedWork W2162357359 @default.
- W2551472758 hasRelatedWork W2224152264 @default.
- W2551472758 hasRelatedWork W2264605556 @default.
- W2551472758 hasRelatedWork W229723227 @default.
- W2551472758 hasRelatedWork W2339207536 @default.
- W2551472758 hasRelatedWork W2540110070 @default.
- W2551472758 hasRelatedWork W2611242280 @default.
- W2551472758 hasRelatedWork W2750573468 @default.
- W2551472758 hasRelatedWork W2951288368 @default.
- W2551472758 hasRelatedWork W3179349539 @default.
- W2551472758 isParatext "false" @default.
- W2551472758 isRetracted "false" @default.
- W2551472758 magId "2551472758" @default.
- W2551472758 workType "article" @default.