Matches in SemOpenAlex for { <https://semopenalex.org/work/W104372343> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W104372343 endingPage "507" @default.
- W104372343 startingPage "502" @default.
- W104372343 abstract "We present a CNF to Tree-of-BDDs (ToB) compiler with complexity at most exponential in the tree width. We then present algorithms for interesting queries on ToB. Although some of the presented query algorithms are in the worst case exponential in the tree width, our experiments show that ToB can answer non-trivial queries like clausal entailment in reasonable time for several realistic instances. While our ToB-tool compiles all the used 91 instances, d-DNNF compilation failed for 12 or 8 of them based on the decomposition heuristic used. Also, on the succeeded instances, a d-DNNF is up to 1000 times larger than the matching ToB. The ToB compilations are often an order of magnitude faster than the d-DNNF compilation. This makes ToB a quite interesting knowledge compilation form." @default.
- W104372343 created "2016-06-24" @default.
- W104372343 creator A5038290167 @default.
- W104372343 creator A5070568220 @default.
- W104372343 creator A5081257309 @default.
- W104372343 date "2007-07-22" @default.
- W104372343 modified "2023-09-24" @default.
- W104372343 title "Knowledge compilation properties of tree-of-BDDs" @default.
- W104372343 cites W1548649610 @default.
- W104372343 cites W1578836697 @default.
- W104372343 cites W1608303670 @default.
- W104372343 cites W179577048 @default.
- W104372343 cites W1978282744 @default.
- W104372343 cites W1986660301 @default.
- W104372343 cites W2029448190 @default.
- W104372343 cites W2044058055 @default.
- W104372343 cites W2080267935 @default.
- W104372343 cites W2154126477 @default.
- W104372343 cites W2337098149 @default.
- W104372343 cites W9945751 @default.
- W104372343 hasPublicationYear "2007" @default.
- W104372343 type Work @default.
- W104372343 sameAs 104372343 @default.
- W104372343 citedByCount "12" @default.
- W104372343 countsByYear W1043723432012 @default.
- W104372343 countsByYear W1043723432013 @default.
- W104372343 countsByYear W1043723432014 @default.
- W104372343 crossrefType "proceedings-article" @default.
- W104372343 hasAuthorship W104372343A5038290167 @default.
- W104372343 hasAuthorship W104372343A5070568220 @default.
- W104372343 hasAuthorship W104372343A5081257309 @default.
- W104372343 hasConcept C105795698 @default.
- W104372343 hasConcept C113174947 @default.
- W104372343 hasConcept C11413529 @default.
- W104372343 hasConcept C114614502 @default.
- W104372343 hasConcept C154945302 @default.
- W104372343 hasConcept C165064840 @default.
- W104372343 hasConcept C169590947 @default.
- W104372343 hasConcept C173801870 @default.
- W104372343 hasConcept C199360897 @default.
- W104372343 hasConcept C311688 @default.
- W104372343 hasConcept C33923547 @default.
- W104372343 hasConcept C41008148 @default.
- W104372343 hasConcept C80444323 @default.
- W104372343 hasConceptScore W104372343C105795698 @default.
- W104372343 hasConceptScore W104372343C113174947 @default.
- W104372343 hasConceptScore W104372343C11413529 @default.
- W104372343 hasConceptScore W104372343C114614502 @default.
- W104372343 hasConceptScore W104372343C154945302 @default.
- W104372343 hasConceptScore W104372343C165064840 @default.
- W104372343 hasConceptScore W104372343C169590947 @default.
- W104372343 hasConceptScore W104372343C173801870 @default.
- W104372343 hasConceptScore W104372343C199360897 @default.
- W104372343 hasConceptScore W104372343C311688 @default.
- W104372343 hasConceptScore W104372343C33923547 @default.
- W104372343 hasConceptScore W104372343C41008148 @default.
- W104372343 hasConceptScore W104372343C80444323 @default.
- W104372343 hasLocation W1043723431 @default.
- W104372343 hasOpenAccess W104372343 @default.
- W104372343 hasPrimaryLocation W1043723431 @default.
- W104372343 hasRelatedWork W121776107 @default.
- W104372343 hasRelatedWork W1518705996 @default.
- W104372343 hasRelatedWork W1552671751 @default.
- W104372343 hasRelatedWork W1578836697 @default.
- W104372343 hasRelatedWork W1589170163 @default.
- W104372343 hasRelatedWork W1591679289 @default.
- W104372343 hasRelatedWork W1599103728 @default.
- W104372343 hasRelatedWork W1681144494 @default.
- W104372343 hasRelatedWork W186100420 @default.
- W104372343 hasRelatedWork W1964821516 @default.
- W104372343 hasRelatedWork W1986660301 @default.
- W104372343 hasRelatedWork W2023076960 @default.
- W104372343 hasRelatedWork W2038897673 @default.
- W104372343 hasRelatedWork W2108196350 @default.
- W104372343 hasRelatedWork W2142410027 @default.
- W104372343 hasRelatedWork W2142785340 @default.
- W104372343 hasRelatedWork W2166566648 @default.
- W104372343 hasRelatedWork W2402839980 @default.
- W104372343 hasRelatedWork W3099451540 @default.
- W104372343 hasRelatedWork W84120850 @default.
- W104372343 isParatext "false" @default.
- W104372343 isRetracted "false" @default.
- W104372343 magId "104372343" @default.
- W104372343 workType "article" @default.