Matches in SemOpenAlex for { <https://semopenalex.org/work/W2809736733> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2809736733 endingPage "164" @default.
- W2809736733 startingPage "148" @default.
- W2809736733 abstract "We present a probabilistic model counter that can trade off running time with approximation accuracy. As in several previous works, the number of models of a formula is estimated by adding random parity constraints (equations). One key difference with prior works is that the systems of parity equations used correspond to the parity check matrices of Low Density Parity Check (LDPC) error-correcting codes. As a result, the equations tend to be much shorter, often containing fewer than 10 variables each, making the search for models that also satisfy the parity constraints far more tractable. The price paid for computational tractability is that the statistical properties of the basic estimator are not as good as when longer constraints are used. We show how one can deal with this issue and derive rigorous approximation guarantees by performing more solver invocations." @default.
- W2809736733 created "2018-07-10" @default.
- W2809736733 creator A5021300666 @default.
- W2809736733 creator A5072809662 @default.
- W2809736733 creator A5083078865 @default.
- W2809736733 date "2018-01-01" @default.
- W2809736733 modified "2023-09-27" @default.
- W2809736733 title "Fast and Flexible Probabilistic Model Counting" @default.
- W2809736733 cites W1536930200 @default.
- W2809736733 cites W1537730723 @default.
- W2809736733 cites W1549031924 @default.
- W2809736733 cites W1758913682 @default.
- W2809736733 cites W2014603110 @default.
- W2809736733 cites W2057512592 @default.
- W2809736733 cites W2131798840 @default.
- W2809736733 cites W2142785340 @default.
- W2809736733 cites W2217178493 @default.
- W2809736733 cites W2236948976 @default.
- W2809736733 cites W2741834960 @default.
- W2809736733 cites W2953089152 @default.
- W2809736733 doi "https://doi.org/10.1007/978-3-319-94144-8_10" @default.
- W2809736733 hasPublicationYear "2018" @default.
- W2809736733 type Work @default.
- W2809736733 sameAs 2809736733 @default.
- W2809736733 citedByCount "6" @default.
- W2809736733 countsByYear W28097367332018 @default.
- W2809736733 countsByYear W28097367332019 @default.
- W2809736733 countsByYear W28097367332020 @default.
- W2809736733 crossrefType "book-chapter" @default.
- W2809736733 hasAuthorship W2809736733A5021300666 @default.
- W2809736733 hasAuthorship W2809736733A5072809662 @default.
- W2809736733 hasAuthorship W2809736733A5083078865 @default.
- W2809736733 hasConcept C105795698 @default.
- W2809736733 hasConcept C109214941 @default.
- W2809736733 hasConcept C11413529 @default.
- W2809736733 hasConcept C114289077 @default.
- W2809736733 hasConcept C121332964 @default.
- W2809736733 hasConcept C154945302 @default.
- W2809736733 hasConcept C185429906 @default.
- W2809736733 hasConcept C199360897 @default.
- W2809736733 hasConcept C26517878 @default.
- W2809736733 hasConcept C2777151079 @default.
- W2809736733 hasConcept C2778770139 @default.
- W2809736733 hasConcept C33923547 @default.
- W2809736733 hasConcept C38652104 @default.
- W2809736733 hasConcept C41008148 @default.
- W2809736733 hasConcept C49937458 @default.
- W2809736733 hasConcept C57273362 @default.
- W2809736733 hasConcept C67692717 @default.
- W2809736733 hasConcept C80444323 @default.
- W2809736733 hasConceptScore W2809736733C105795698 @default.
- W2809736733 hasConceptScore W2809736733C109214941 @default.
- W2809736733 hasConceptScore W2809736733C11413529 @default.
- W2809736733 hasConceptScore W2809736733C114289077 @default.
- W2809736733 hasConceptScore W2809736733C121332964 @default.
- W2809736733 hasConceptScore W2809736733C154945302 @default.
- W2809736733 hasConceptScore W2809736733C185429906 @default.
- W2809736733 hasConceptScore W2809736733C199360897 @default.
- W2809736733 hasConceptScore W2809736733C26517878 @default.
- W2809736733 hasConceptScore W2809736733C2777151079 @default.
- W2809736733 hasConceptScore W2809736733C2778770139 @default.
- W2809736733 hasConceptScore W2809736733C33923547 @default.
- W2809736733 hasConceptScore W2809736733C38652104 @default.
- W2809736733 hasConceptScore W2809736733C41008148 @default.
- W2809736733 hasConceptScore W2809736733C49937458 @default.
- W2809736733 hasConceptScore W2809736733C57273362 @default.
- W2809736733 hasConceptScore W2809736733C67692717 @default.
- W2809736733 hasConceptScore W2809736733C80444323 @default.
- W2809736733 hasLocation W28097367331 @default.
- W2809736733 hasOpenAccess W2809736733 @default.
- W2809736733 hasPrimaryLocation W28097367331 @default.
- W2809736733 hasRelatedWork W1499475369 @default.
- W2809736733 hasRelatedWork W1554842783 @default.
- W2809736733 hasRelatedWork W157611635 @default.
- W2809736733 hasRelatedWork W2146883452 @default.
- W2809736733 hasRelatedWork W2236948976 @default.
- W2809736733 hasRelatedWork W2572061353 @default.
- W2809736733 hasRelatedWork W2606258907 @default.
- W2809736733 hasRelatedWork W2805797315 @default.
- W2809736733 hasRelatedWork W2885730995 @default.
- W2809736733 hasRelatedWork W2899839103 @default.
- W2809736733 hasRelatedWork W2949400433 @default.
- W2809736733 hasRelatedWork W2952927590 @default.
- W2809736733 hasRelatedWork W2957475053 @default.
- W2809736733 hasRelatedWork W2964396926 @default.
- W2809736733 hasRelatedWork W2990360522 @default.
- W2809736733 hasRelatedWork W2998531422 @default.
- W2809736733 hasRelatedWork W2999367792 @default.
- W2809736733 hasRelatedWork W3015225013 @default.
- W2809736733 hasRelatedWork W3121168206 @default.
- W2809736733 hasRelatedWork W3136887798 @default.
- W2809736733 isParatext "false" @default.
- W2809736733 isRetracted "false" @default.
- W2809736733 magId "2809736733" @default.
- W2809736733 workType "book-chapter" @default.