FRINK Linked Data Fragments server

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

• W2951666730 abstract "In this paper we study the role of cliquewidth in succinct representation of Boolean functions. Our main statement is the following: Let $Z$ be a Boolean circuit having cliquewidth $k$. Then there is another circuit $Z^*$ computing the same function as $Z$ having treewidth at most $18k+2$ and which has at most $4|Z|$ gates where $|Z|$ is the number of gates of $Z$. In this sense, cliquewidth is not more `powerful' than treewidth for the purpose of representation of Boolean functions. We believe this is quite a surprising fact because it contrasts the situation with graphs where an upper bound on the treewidth implies an upper bound on the cliquewidth but not vice versa. We demonstrate the usefulness of the new theorem for knowledge compilation. In particular, we show that a circuit $Z$ of cliquewidth $k$ can be compiled into a Decomposable Negation Normal Form ({sc dnnf}) of size $O(9^{18k}k^2|Z|)$ and the same runtime. To the best of our knowledge, this is the first result on efficient knowledge compilation parameterized by cliquewidth of a Boolean circuit." @default.
• W2951666730 created "2019-06-27" @default.
• W2951666730 creator A5065281209 @default.
• W2951666730 creator A5068912124 @default.
• W2951666730 date "2013-03-17" @default.
• W2951666730 modified "2023-09-27" @default.
• W2951666730 title "Cliquewidth and Knowledge Compilation" @default.
• W2951666730 cites W1826325207 @default.
• W2951666730 cites W2010438070 @default.
• W2951666730 cites W2132508270 @default.
• W2951666730 hasPublicationYear "2013" @default.
• W2951666730 type Work @default.
• W2951666730 sameAs 2951666730 @default.
• W2951666730 citedByCount "0" @default.
• W2951666730 crossrefType "posted-content" @default.
• W2951666730 hasAuthorship W2951666730A5065281209 @default.
• W2951666730 hasAuthorship W2951666730A5068912124 @default.
• W2951666730 hasConcept C114614502 @default.
• W2951666730 hasConcept C118615104 @default.
• W2951666730 hasConcept C132525143 @default.
• W2951666730 hasConcept C132569581 @default.
• W2951666730 hasConcept C134306372 @default.
• W2951666730 hasConcept C136119220 @default.
• W2951666730 hasConcept C14036430 @default.
• W2951666730 hasConcept C141796577 @default.
• W2951666730 hasConcept C158465420 @default.
• W2951666730 hasConcept C165464430 @default.
• W2951666730 hasConcept C169171071 @default.
• W2951666730 hasConcept C17744445 @default.
• W2951666730 hasConcept C187455244 @default.
• W2951666730 hasConcept C199360897 @default.
• W2951666730 hasConcept C199539241 @default.
• W2951666730 hasConcept C202444582 @default.
• W2951666730 hasConcept C203776342 @default.
• W2951666730 hasConcept C207764348 @default.
• W2951666730 hasConcept C2185349 @default.
• W2951666730 hasConcept C2776359362 @default.
• W2951666730 hasConcept C2777026412 @default.
• W2951666730 hasConcept C33923547 @default.
• W2951666730 hasConcept C41008148 @default.
• W2951666730 hasConcept C43517604 @default.
• W2951666730 hasConcept C77553402 @default.
• W2951666730 hasConcept C78458016 @default.
• W2951666730 hasConcept C80444323 @default.
• W2951666730 hasConcept C86803240 @default.
• W2951666730 hasConcept C9429942 @default.
• W2951666730 hasConcept C94625758 @default.
• W2951666730 hasConceptScore W2951666730C114614502 @default.
• W2951666730 hasConceptScore W2951666730C118615104 @default.
• W2951666730 hasConceptScore W2951666730C132525143 @default.
• W2951666730 hasConceptScore W2951666730C132569581 @default.
• W2951666730 hasConceptScore W2951666730C134306372 @default.
• W2951666730 hasConceptScore W2951666730C136119220 @default.
• W2951666730 hasConceptScore W2951666730C14036430 @default.
• W2951666730 hasConceptScore W2951666730C141796577 @default.
• W2951666730 hasConceptScore W2951666730C158465420 @default.
• W2951666730 hasConceptScore W2951666730C165464430 @default.
• W2951666730 hasConceptScore W2951666730C169171071 @default.
• W2951666730 hasConceptScore W2951666730C17744445 @default.
• W2951666730 hasConceptScore W2951666730C187455244 @default.
• W2951666730 hasConceptScore W2951666730C199360897 @default.
• W2951666730 hasConceptScore W2951666730C199539241 @default.
• W2951666730 hasConceptScore W2951666730C202444582 @default.
• W2951666730 hasConceptScore W2951666730C203776342 @default.
• W2951666730 hasConceptScore W2951666730C207764348 @default.
• W2951666730 hasConceptScore W2951666730C2185349 @default.
• W2951666730 hasConceptScore W2951666730C2776359362 @default.
• W2951666730 hasConceptScore W2951666730C2777026412 @default.
• W2951666730 hasConceptScore W2951666730C33923547 @default.
• W2951666730 hasConceptScore W2951666730C41008148 @default.
• W2951666730 hasConceptScore W2951666730C43517604 @default.
• W2951666730 hasConceptScore W2951666730C77553402 @default.
• W2951666730 hasConceptScore W2951666730C78458016 @default.
• W2951666730 hasConceptScore W2951666730C80444323 @default.
• W2951666730 hasConceptScore W2951666730C86803240 @default.
• W2951666730 hasConceptScore W2951666730C9429942 @default.
• W2951666730 hasConceptScore W2951666730C94625758 @default.
• W2951666730 hasLocation W29516667301 @default.
• W2951666730 hasOpenAccess W2951666730 @default.
• W2951666730 hasPrimaryLocation W29516667301 @default.
• W2951666730 hasRelatedWork W1530996181 @default.
• W2951666730 hasRelatedWork W1532784182 @default.
• W2951666730 hasRelatedWork W1597588219 @default.
• W2951666730 hasRelatedWork W180627479 @default.
• W2951666730 hasRelatedWork W1829296499 @default.
• W2951666730 hasRelatedWork W1988718922 @default.
• W2951666730 hasRelatedWork W2033255359 @default.
• W2951666730 hasRelatedWork W2064474796 @default.
• W2951666730 hasRelatedWork W2130665499 @default.
• W2951666730 hasRelatedWork W2400917345 @default.
• W2951666730 hasRelatedWork W2744294793 @default.
• W2951666730 hasRelatedWork W2755376675 @default.
• W2951666730 hasRelatedWork W2787006615 @default.
• W2951666730 hasRelatedWork W2953144687 @default.
• W2951666730 hasRelatedWork W2963166380 @default.
• W2951666730 hasRelatedWork W2977337227 @default.
• W2951666730 hasRelatedWork W3100143468 @default.
• W2951666730 hasRelatedWork W3127858541 @default.
• W2951666730 hasRelatedWork W89760577 @default.
• W2951666730 hasRelatedWork W2307008279 @default.

• next