Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951556079> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2951556079 abstract "Two main techniques have been used so far to solve the #P-hard problem #SAT. The first one, used in practice, is based on an extension of DPLL for model counting called exhaustive DPLL. The second approach, more theoretical, exploits the structure of the input to compute the number of satisfying assignments by usually using a dynamic programming scheme on a decomposition of the formula. In this paper, we make a first step toward the separation of these two techniques by exhibiting a family of formulas that can be solved in polynomial time with the first technique but needs an exponential time with the second one. We show this by observing that both techniques implicitly construct a very specific Boolean circuit equivalent to the input formula. We then show that every β-acyclic formula can be represented by a polynomial size circuit corresponding to the first method and exhibit a family of β-acyclic formulas which cannot be represented by polynomial size circuits corresponding to the second method. This result sheds a new light on the complexity of #SAT and related problems on β-acyclic formulas. As a byproduct, we give new handy tools to design algorithms on β-acyclic hypergraphs." @default.
- W2951556079 created "2019-06-27" @default.
- W2951556079 creator A5018990877 @default.
- W2951556079 date "2017-06-01" @default.
- W2951556079 modified "2023-10-18" @default.
- W2951556079 title "Understanding the complexity of #SAT using knowledge compilation" @default.
- W2951556079 cites W143396352 @default.
- W2951556079 cites W1484192075 @default.
- W2951556079 cites W1537730723 @default.
- W2951556079 cites W1931480168 @default.
- W2951556079 cites W1933346394 @default.
- W2951556079 cites W1964821516 @default.
- W2951556079 cites W1986660301 @default.
- W2951556079 cites W2001130632 @default.
- W2951556079 cites W2004485491 @default.
- W2951556079 cites W2023076960 @default.
- W2951556079 cites W2062897452 @default.
- W2951556079 cites W2104498537 @default.
- W2951556079 cites W2114267503 @default.
- W2951556079 cites W2141898804 @default.
- W2951556079 cites W2179600973 @default.
- W2951556079 cites W2309930662 @default.
- W2951556079 cites W2964174631 @default.
- W2951556079 cites W2984546510 @default.
- W2951556079 cites W3099451540 @default.
- W2951556079 doi "https://doi.org/10.1109/lics.2017.8005121" @default.
- W2951556079 hasPublicationYear "2017" @default.
- W2951556079 type Work @default.
- W2951556079 sameAs 2951556079 @default.
- W2951556079 citedByCount "4" @default.
- W2951556079 countsByYear W29515560792018 @default.
- W2951556079 countsByYear W29515560792019 @default.
- W2951556079 countsByYear W29515560792020 @default.
- W2951556079 crossrefType "proceedings-article" @default.
- W2951556079 hasAuthorship W2951556079A5018990877 @default.
- W2951556079 hasBestOaLocation W29515560793 @default.
- W2951556079 hasConcept C11413529 @default.
- W2951556079 hasConcept C118615104 @default.
- W2951556079 hasConcept C119599485 @default.
- W2951556079 hasConcept C12707504 @default.
- W2951556079 hasConcept C127413603 @default.
- W2951556079 hasConcept C134146338 @default.
- W2951556079 hasConcept C134306372 @default.
- W2951556079 hasConcept C134652429 @default.
- W2951556079 hasConcept C141796577 @default.
- W2951556079 hasConcept C143936061 @default.
- W2951556079 hasConcept C16221470 @default.
- W2951556079 hasConcept C179799912 @default.
- W2951556079 hasConcept C187455244 @default.
- W2951556079 hasConcept C199360897 @default.
- W2951556079 hasConcept C200415742 @default.
- W2951556079 hasConcept C2778029271 @default.
- W2951556079 hasConcept C311688 @default.
- W2951556079 hasConcept C33923547 @default.
- W2951556079 hasConcept C41008148 @default.
- W2951556079 hasConcept C76155785 @default.
- W2951556079 hasConcept C90119067 @default.
- W2951556079 hasConcept C90702460 @default.
- W2951556079 hasConceptScore W2951556079C11413529 @default.
- W2951556079 hasConceptScore W2951556079C118615104 @default.
- W2951556079 hasConceptScore W2951556079C119599485 @default.
- W2951556079 hasConceptScore W2951556079C12707504 @default.
- W2951556079 hasConceptScore W2951556079C127413603 @default.
- W2951556079 hasConceptScore W2951556079C134146338 @default.
- W2951556079 hasConceptScore W2951556079C134306372 @default.
- W2951556079 hasConceptScore W2951556079C134652429 @default.
- W2951556079 hasConceptScore W2951556079C141796577 @default.
- W2951556079 hasConceptScore W2951556079C143936061 @default.
- W2951556079 hasConceptScore W2951556079C16221470 @default.
- W2951556079 hasConceptScore W2951556079C179799912 @default.
- W2951556079 hasConceptScore W2951556079C187455244 @default.
- W2951556079 hasConceptScore W2951556079C199360897 @default.
- W2951556079 hasConceptScore W2951556079C200415742 @default.
- W2951556079 hasConceptScore W2951556079C2778029271 @default.
- W2951556079 hasConceptScore W2951556079C311688 @default.
- W2951556079 hasConceptScore W2951556079C33923547 @default.
- W2951556079 hasConceptScore W2951556079C41008148 @default.
- W2951556079 hasConceptScore W2951556079C76155785 @default.
- W2951556079 hasConceptScore W2951556079C90119067 @default.
- W2951556079 hasConceptScore W2951556079C90702460 @default.
- W2951556079 hasLocation W29515560791 @default.
- W2951556079 hasLocation W29515560792 @default.
- W2951556079 hasLocation W29515560793 @default.
- W2951556079 hasOpenAccess W2951556079 @default.
- W2951556079 hasPrimaryLocation W29515560791 @default.
- W2951556079 hasRelatedWork W1606064697 @default.
- W2951556079 hasRelatedWork W1956818747 @default.
- W2951556079 hasRelatedWork W1976090101 @default.
- W2951556079 hasRelatedWork W2056017973 @default.
- W2951556079 hasRelatedWork W2075882682 @default.
- W2951556079 hasRelatedWork W21453999 @default.
- W2951556079 hasRelatedWork W2173621488 @default.
- W2951556079 hasRelatedWork W2235115558 @default.
- W2951556079 hasRelatedWork W2574822342 @default.
- W2951556079 hasRelatedWork W2810735294 @default.
- W2951556079 isParatext "false" @default.
- W2951556079 isRetracted "false" @default.
- W2951556079 magId "2951556079" @default.
- W2951556079 workType "article" @default.