FRINK Linked Data Fragments server

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

• W2899548473 abstract "The field of knowledge compilation establishes the tractability of many tasks by studying how to compile them to Boolean circuit classes obeying some requirements such as structuredness, decomposability, and determinism. However, in other settings such as intensional query evaluation on databases, we obtain Boolean circuits that satisfy some width bounds, e.g., they have bounded treewidth or pathwidth. In this work, we give a systematic picture of many circuit classes considered in knowledge compilation and show how they can be systematically connected to width measures, through upper and lower bounds. Our upper bounds show that bounded-treewidth circuits can be constructively converted to d-SDNNFs, in time linear in the circuit size and singly exponential in the treewidth; and that bounded-pathwidth circuits can similarly be converted to uOBDDs. We show matching lower bounds on the compilation of monotone DNF or CNF formulas to structured targets, assuming a constant bound on the arity (size of clauses) and degree (number of occurrences of each variable): any d-SDNNF (resp., SDNNF) for such a DNF (resp., CNF) must be of exponential size in its treewidth, and the same holds for uOBDDs (resp., n-OBDDs) when considering pathwidth. Unlike most previous work, our bounds apply to any formula of this class, not just a well-chosen family. Hence, we show that pathwidth and treewidth respectively characterize the efficiency of compiling monotone DNFs to uOBDDs and d-SDNNFs with compilation being singly exponential in the corresponding width parameter. We also show that our lower bounds on CNFs extend to unstructured compilation targets, with an exponential lower bound in the treewidth (resp., pathwidth) when compiling monotone CNFs of constant arity and degree to DNNFs (resp., nFBDDs)." @default.
• W2899548473 created "2018-11-16" @default.
• W2899548473 creator A5003960537 @default.
• W2899548473 creator A5018990877 @default.
• W2899548473 creator A5035414136 @default.
• W2899548473 creator A5090784335 @default.
• W2899548473 date "2018-11-07" @default.
• W2899548473 modified "2023-10-06" @default.
• W2899548473 title "Connecting Knowledge Compilation Classes and Width Parameters" @default.
• W2899548473 cites W1490859187 @default.
• W2899548473 cites W1509716515 @default.
• W2899548473 cites W1825937559 @default.
• W2899548473 cites W2030224590 @default.
• W2899548473 cites W2059372025 @default.
• W2899548473 cites W2085830992 @default.
• W2899548473 cites W2108016168 @default.
• W2899548473 cites W2153074847 @default.
• W2899548473 cites W2231848993 @default.
• W2899548473 cites W2341999675 @default.
• W2899548473 cites W2574822342 @default.
• W2899548473 cites W2576122162 @default.
• W2899548473 cites W2576726417 @default.
• W2899548473 cites W2586666171 @default.
• W2899548473 cites W2733688566 @default.
• W2899548473 cites W2748664888 @default.
• W2899548473 cites W2785242690 @default.
• W2899548473 cites W2949894935 @default.
• W2899548473 cites W2962996948 @default.
• W2899548473 cites W2964286523 @default.
• W2899548473 cites W3100143468 @default.
• W2899548473 cites W3103492182 @default.
• W2899548473 cites W629879141 @default.
• W2899548473 cites W2962765957 @default.
• W2899548473 hasPublicationYear "2018" @default.
• W2899548473 type Work @default.
• W2899548473 sameAs 2899548473 @default.
• W2899548473 citedByCount "2" @default.
• W2899548473 countsByYear W28995484732019 @default.
• W2899548473 countsByYear W28995484732020 @default.
• W2899548473 crossrefType "posted-content" @default.
• W2899548473 hasAuthorship W2899548473A5003960537 @default.
• W2899548473 hasAuthorship W2899548473A5018990877 @default.
• W2899548473 hasAuthorship W2899548473A5035414136 @default.
• W2899548473 hasAuthorship W2899548473A5090784335 @default.
• W2899548473 hasConcept C114614502 @default.
• W2899548473 hasConcept C118615104 @default.
• W2899548473 hasConcept C132525143 @default.
• W2899548473 hasConcept C132569581 @default.
• W2899548473 hasConcept C134306372 @default.
• W2899548473 hasConcept C151376022 @default.
• W2899548473 hasConcept C203776342 @default.
• W2899548473 hasConcept C2524010 @default.
• W2899548473 hasConcept C2834757 @default.
• W2899548473 hasConcept C311688 @default.
• W2899548473 hasConcept C33923547 @default.
• W2899548473 hasConcept C34388435 @default.
• W2899548473 hasConcept C43517604 @default.
• W2899548473 hasConcept C71017364 @default.
• W2899548473 hasConcept C77553402 @default.
• W2899548473 hasConceptScore W2899548473C114614502 @default.
• W2899548473 hasConceptScore W2899548473C118615104 @default.
• W2899548473 hasConceptScore W2899548473C132525143 @default.
• W2899548473 hasConceptScore W2899548473C132569581 @default.
• W2899548473 hasConceptScore W2899548473C134306372 @default.
• W2899548473 hasConceptScore W2899548473C151376022 @default.
• W2899548473 hasConceptScore W2899548473C203776342 @default.
• W2899548473 hasConceptScore W2899548473C2524010 @default.
• W2899548473 hasConceptScore W2899548473C2834757 @default.
• W2899548473 hasConceptScore W2899548473C311688 @default.
• W2899548473 hasConceptScore W2899548473C33923547 @default.
• W2899548473 hasConceptScore W2899548473C34388435 @default.
• W2899548473 hasConceptScore W2899548473C43517604 @default.
• W2899548473 hasConceptScore W2899548473C71017364 @default.
• W2899548473 hasConceptScore W2899548473C77553402 @default.
• W2899548473 hasLocation W28995484731 @default.
• W2899548473 hasOpenAccess W2899548473 @default.
• W2899548473 hasPrimaryLocation W28995484731 @default.
• W2899548473 hasRelatedWork W1519337743 @default.
• W2899548473 hasRelatedWork W1615793053 @default.
• W2899548473 hasRelatedWork W1620689985 @default.
• W2899548473 hasRelatedWork W1987462672 @default.
• W2899548473 hasRelatedWork W1995725694 @default.
• W2899548473 hasRelatedWork W2083348414 @default.
• W2899548473 hasRelatedWork W2128906567 @default.
• W2899548473 hasRelatedWork W21453999 @default.
• W2899548473 hasRelatedWork W2169644995 @default.
• W2899548473 hasRelatedWork W2211983297 @default.
• W2899548473 hasRelatedWork W2255523963 @default.
• W2899548473 hasRelatedWork W2276505401 @default.
• W2899548473 hasRelatedWork W2462702417 @default.
• W2899548473 hasRelatedWork W2530499902 @default.
• W2899548473 hasRelatedWork W2768698559 @default.
• W2899548473 hasRelatedWork W2950516119 @default.
• W2899548473 hasRelatedWork W2952622494 @default.
• W2899548473 hasRelatedWork W2991838776 @default.
• W2899548473 hasRelatedWork W3090142643 @default.
• W2899548473 hasRelatedWork W3178493692 @default.
• W2899548473 isParatext "false" @default.
• W2899548473 isRetracted "false" @default.
• W2899548473 magId "2899548473" @default.

• next