Matches in SemOpenAlex for { <https://semopenalex.org/work/W2283015166> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2283015166 abstract "We prove an unconditional exponential lower bound on the DNNF size of CNFformulas based on a family of expander graphs; thus far, only a superpolynomiallower bound was known, subject to the condition that the polynomial hierarchydoes not collapse. As corollaries we obtain that, in general, negating a DNNFleads to an exponential increase in size (this was known to hold if P is notequal to NP), and that the language of prime implicates (PI) can beexponentially more succinct than DNNFs (this was not even known conditionally).These results settle three open problems in the area of knowledge compilation[Adnan Darwiche and Pierre Marquis, A Knowledge Compilation Map, 2002]." @default.
- W2283015166 created "2016-06-24" @default.
- W2283015166 creator A5011005221 @default.
- W2283015166 creator A5018990877 @default.
- W2283015166 creator A5023349661 @default.
- W2283015166 creator A5033060526 @default.
- W2283015166 date "2014-11-07" @default.
- W2283015166 modified "2023-10-06" @default.
- W2283015166 title "Expander CNFs have Exponential DNNF Size." @default.
- W2283015166 cites W143396352 @default.
- W2283015166 cites W1518905819 @default.
- W2283015166 cites W1933346394 @default.
- W2283015166 cites W1970089350 @default.
- W2283015166 cites W2018047324 @default.
- W2283015166 cites W2068871408 @default.
- W2283015166 cites W2403854598 @default.
- W2283015166 cites W2586118924 @default.
- W2283015166 cites W2951022220 @default.
- W2283015166 cites W2951337747 @default.
- W2283015166 cites W2962996948 @default.
- W2283015166 cites W84120850 @default.
- W2283015166 cites W89760577 @default.
- W2283015166 cites W2962765957 @default.
- W2283015166 hasPublicationYear "2014" @default.
- W2283015166 type Work @default.
- W2283015166 sameAs 2283015166 @default.
- W2283015166 citedByCount "8" @default.
- W2283015166 countsByYear W22830151662014 @default.
- W2283015166 countsByYear W22830151662015 @default.
- W2283015166 countsByYear W22830151662016 @default.
- W2283015166 countsByYear W22830151662018 @default.
- W2283015166 countsByYear W22830151662019 @default.
- W2283015166 countsByYear W22830151662021 @default.
- W2283015166 crossrefType "posted-content" @default.
- W2283015166 hasAuthorship W2283015166A5011005221 @default.
- W2283015166 hasAuthorship W2283015166A5018990877 @default.
- W2283015166 hasAuthorship W2283015166A5023349661 @default.
- W2283015166 hasAuthorship W2283015166A5033060526 @default.
- W2283015166 hasConcept C114614502 @default.
- W2283015166 hasConcept C118615104 @default.
- W2283015166 hasConcept C132525143 @default.
- W2283015166 hasConcept C134306372 @default.
- W2283015166 hasConcept C151376022 @default.
- W2283015166 hasConcept C154547637 @default.
- W2283015166 hasConcept C17744445 @default.
- W2283015166 hasConcept C184992742 @default.
- W2283015166 hasConcept C199539241 @default.
- W2283015166 hasConcept C202444582 @default.
- W2283015166 hasConcept C31170391 @default.
- W2283015166 hasConcept C33923547 @default.
- W2283015166 hasConcept C75235859 @default.
- W2283015166 hasConcept C77553402 @default.
- W2283015166 hasConcept C90119067 @default.
- W2283015166 hasConceptScore W2283015166C114614502 @default.
- W2283015166 hasConceptScore W2283015166C118615104 @default.
- W2283015166 hasConceptScore W2283015166C132525143 @default.
- W2283015166 hasConceptScore W2283015166C134306372 @default.
- W2283015166 hasConceptScore W2283015166C151376022 @default.
- W2283015166 hasConceptScore W2283015166C154547637 @default.
- W2283015166 hasConceptScore W2283015166C17744445 @default.
- W2283015166 hasConceptScore W2283015166C184992742 @default.
- W2283015166 hasConceptScore W2283015166C199539241 @default.
- W2283015166 hasConceptScore W2283015166C202444582 @default.
- W2283015166 hasConceptScore W2283015166C31170391 @default.
- W2283015166 hasConceptScore W2283015166C33923547 @default.
- W2283015166 hasConceptScore W2283015166C75235859 @default.
- W2283015166 hasConceptScore W2283015166C77553402 @default.
- W2283015166 hasConceptScore W2283015166C90119067 @default.
- W2283015166 hasLocation W22830151661 @default.
- W2283015166 hasOpenAccess W2283015166 @default.
- W2283015166 hasPrimaryLocation W22830151661 @default.
- W2283015166 hasRelatedWork W143396352 @default.
- W2283015166 hasRelatedWork W1516895011 @default.
- W2283015166 hasRelatedWork W1531835879 @default.
- W2283015166 hasRelatedWork W1995725694 @default.
- W2283015166 hasRelatedWork W2142777206 @default.
- W2283015166 hasRelatedWork W21453999 @default.
- W2283015166 hasRelatedWork W2169713712 @default.
- W2283015166 hasRelatedWork W2211983297 @default.
- W2283015166 hasRelatedWork W2408366771 @default.
- W2283015166 hasRelatedWork W2417894922 @default.
- W2283015166 hasRelatedWork W2554543767 @default.
- W2283015166 hasRelatedWork W2624065397 @default.
- W2283015166 hasRelatedWork W2730643286 @default.
- W2283015166 hasRelatedWork W275231650 @default.
- W2283015166 hasRelatedWork W2799890067 @default.
- W2283015166 hasRelatedWork W2811370865 @default.
- W2283015166 hasRelatedWork W2899548473 @default.
- W2283015166 hasRelatedWork W2950516119 @default.
- W2283015166 hasRelatedWork W3099451540 @default.
- W2283015166 hasRelatedWork W78054942 @default.
- W2283015166 isParatext "false" @default.
- W2283015166 isRetracted "false" @default.
- W2283015166 magId "2283015166" @default.
- W2283015166 workType "article" @default.