Matches in SemOpenAlex for { <https://semopenalex.org/work/W2818782803> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2818782803 abstract "We generalize many results concerning the tractability of SAT and #SAT on bounded treewidth CNF-formula in the context of Quantified Boolean Formulas (QBF). To this end, we start by studying the notion of width for OBDD and observe that the blow up in size while existentially or universally projecting a block of variables in an OBDD only affects its width. We then generalize this notion of width to the more general representation of structured (deterministic) DNNF and give a similar algorithm to existentially or universally project a block of variables. Using a well-known algorithm transforming bounded treewidth CNF formula into deterministic DNNF, we are able to generalize this connection to quantified CNF which gives us as a byproduct that one can count the number of models of a bounded treewidth and bounded quantifier alternation quantified CNF in FPT time. We also give an extensive study of bounded width d-DNNF and proves the optimality of several of our results." @default.
- W2818782803 created "2018-07-19" @default.
- W2818782803 creator A5018990877 @default.
- W2818782803 creator A5033060526 @default.
- W2818782803 date "2018-07-11" @default.
- W2818782803 modified "2023-10-06" @default.
- W2818782803 title "Knowledge Compilation, Width and Quantification." @default.
- W2818782803 cites W2059372025 @default.
- W2818782803 cites W2090518395 @default.
- W2818782803 cites W2179600973 @default.
- W2818782803 cites W2309930662 @default.
- W2818782803 cites W2576122162 @default.
- W2818782803 cites W2804646084 @default.
- W2818782803 cites W2949558198 @default.
- W2818782803 cites W2952104738 @default.
- W2818782803 cites W2963614033 @default.
- W2818782803 cites W2984546510 @default.
- W2818782803 hasPublicationYear "2018" @default.
- W2818782803 type Work @default.
- W2818782803 sameAs 2818782803 @default.
- W2818782803 citedByCount "0" @default.
- W2818782803 crossrefType "journal-article" @default.
- W2818782803 hasAuthorship W2818782803A5018990877 @default.
- W2818782803 hasAuthorship W2818782803A5033060526 @default.
- W2818782803 hasConcept C102993220 @default.
- W2818782803 hasConcept C114614502 @default.
- W2818782803 hasConcept C118615104 @default.
- W2818782803 hasConcept C132525143 @default.
- W2818782803 hasConcept C132569581 @default.
- W2818782803 hasConcept C134306372 @default.
- W2818782803 hasConcept C14523651 @default.
- W2818782803 hasConcept C151730666 @default.
- W2818782803 hasConcept C17744445 @default.
- W2818782803 hasConcept C199539241 @default.
- W2818782803 hasConcept C203776342 @default.
- W2818782803 hasConcept C2776359362 @default.
- W2818782803 hasConcept C2777210771 @default.
- W2818782803 hasConcept C2779343474 @default.
- W2818782803 hasConcept C33203268 @default.
- W2818782803 hasConcept C33923547 @default.
- W2818782803 hasConcept C34388435 @default.
- W2818782803 hasConcept C41008148 @default.
- W2818782803 hasConcept C43517604 @default.
- W2818782803 hasConcept C74640108 @default.
- W2818782803 hasConcept C80444323 @default.
- W2818782803 hasConcept C86803240 @default.
- W2818782803 hasConcept C94625758 @default.
- W2818782803 hasConceptScore W2818782803C102993220 @default.
- W2818782803 hasConceptScore W2818782803C114614502 @default.
- W2818782803 hasConceptScore W2818782803C118615104 @default.
- W2818782803 hasConceptScore W2818782803C132525143 @default.
- W2818782803 hasConceptScore W2818782803C132569581 @default.
- W2818782803 hasConceptScore W2818782803C134306372 @default.
- W2818782803 hasConceptScore W2818782803C14523651 @default.
- W2818782803 hasConceptScore W2818782803C151730666 @default.
- W2818782803 hasConceptScore W2818782803C17744445 @default.
- W2818782803 hasConceptScore W2818782803C199539241 @default.
- W2818782803 hasConceptScore W2818782803C203776342 @default.
- W2818782803 hasConceptScore W2818782803C2776359362 @default.
- W2818782803 hasConceptScore W2818782803C2777210771 @default.
- W2818782803 hasConceptScore W2818782803C2779343474 @default.
- W2818782803 hasConceptScore W2818782803C33203268 @default.
- W2818782803 hasConceptScore W2818782803C33923547 @default.
- W2818782803 hasConceptScore W2818782803C34388435 @default.
- W2818782803 hasConceptScore W2818782803C41008148 @default.
- W2818782803 hasConceptScore W2818782803C43517604 @default.
- W2818782803 hasConceptScore W2818782803C74640108 @default.
- W2818782803 hasConceptScore W2818782803C80444323 @default.
- W2818782803 hasConceptScore W2818782803C86803240 @default.
- W2818782803 hasConceptScore W2818782803C94625758 @default.
- W2818782803 hasLocation W28187828031 @default.
- W2818782803 hasOpenAccess W2818782803 @default.
- W2818782803 hasPrimaryLocation W28187828031 @default.
- W2818782803 hasRelatedWork W1491702378 @default.
- W2818782803 hasRelatedWork W180627479 @default.
- W2818782803 hasRelatedWork W1884103822 @default.
- W2818782803 hasRelatedWork W2033255359 @default.
- W2818782803 hasRelatedWork W2165930340 @default.
- W2818782803 hasRelatedWork W2179600973 @default.
- W2818782803 hasRelatedWork W2309930662 @default.
- W2818782803 hasRelatedWork W2398160753 @default.
- W2818782803 hasRelatedWork W2744294793 @default.
- W2818782803 hasRelatedWork W2748664888 @default.
- W2818782803 hasRelatedWork W2755376675 @default.
- W2818782803 hasRelatedWork W2785242690 @default.
- W2818782803 hasRelatedWork W2805010798 @default.
- W2818782803 hasRelatedWork W2918948820 @default.
- W2818782803 hasRelatedWork W2963166380 @default.
- W2818782803 hasRelatedWork W2977337227 @default.
- W2818782803 hasRelatedWork W3039755702 @default.
- W2818782803 hasRelatedWork W3083723648 @default.
- W2818782803 hasRelatedWork W3100143468 @default.
- W2818782803 hasRelatedWork W89760577 @default.
- W2818782803 isParatext "false" @default.
- W2818782803 isRetracted "false" @default.
- W2818782803 magId "2818782803" @default.
- W2818782803 workType "article" @default.