Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288283345> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W4288283345 abstract "We present an algorithm to compute exact literal-weighted model counts of Boolean formulas in Conjunctive Normal Form. Our algorithm employs dynamic programming and uses Algebraic Decision Diagrams as the primary data structure. We implement this technique in ADDMC, a new model counter. We empirically evaluate various heuristics that can be used with ADDMC. We then compare ADDMC to state-of-the-art exact weighted model counters (Cachet, c2d, d4, and miniC2D) on 1914 standard model counting benchmarks and show that ADDMC significantly improves the virtual best solver." @default.
- W4288283345 created "2022-07-28" @default.
- W4288283345 creator A5000059818 @default.
- W4288283345 creator A5006569574 @default.
- W4288283345 creator A5081972748 @default.
- W4288283345 date "2019-07-11" @default.
- W4288283345 modified "2023-10-16" @default.
- W4288283345 title "ADDMC: Weighted Model Counting with Algebraic Decision Diagrams" @default.
- W4288283345 doi "https://doi.org/10.48550/arxiv.1907.05000" @default.
- W4288283345 hasPublicationYear "2019" @default.
- W4288283345 type Work @default.
- W4288283345 citedByCount "0" @default.
- W4288283345 crossrefType "posted-content" @default.
- W4288283345 hasAuthorship W4288283345A5000059818 @default.
- W4288283345 hasAuthorship W4288283345A5006569574 @default.
- W4288283345 hasAuthorship W4288283345A5081972748 @default.
- W4288283345 hasBestOaLocation W42882833451 @default.
- W4288283345 hasConcept C111919701 @default.
- W4288283345 hasConcept C11413529 @default.
- W4288283345 hasConcept C127705205 @default.
- W4288283345 hasConcept C134306372 @default.
- W4288283345 hasConcept C16221470 @default.
- W4288283345 hasConcept C199360897 @default.
- W4288283345 hasConcept C200415742 @default.
- W4288283345 hasConcept C2778770139 @default.
- W4288283345 hasConcept C2780882242 @default.
- W4288283345 hasConcept C3309909 @default.
- W4288283345 hasConcept C33923547 @default.
- W4288283345 hasConcept C41008148 @default.
- W4288283345 hasConcept C80444323 @default.
- W4288283345 hasConcept C9376300 @default.
- W4288283345 hasConceptScore W4288283345C111919701 @default.
- W4288283345 hasConceptScore W4288283345C11413529 @default.
- W4288283345 hasConceptScore W4288283345C127705205 @default.
- W4288283345 hasConceptScore W4288283345C134306372 @default.
- W4288283345 hasConceptScore W4288283345C16221470 @default.
- W4288283345 hasConceptScore W4288283345C199360897 @default.
- W4288283345 hasConceptScore W4288283345C200415742 @default.
- W4288283345 hasConceptScore W4288283345C2778770139 @default.
- W4288283345 hasConceptScore W4288283345C2780882242 @default.
- W4288283345 hasConceptScore W4288283345C3309909 @default.
- W4288283345 hasConceptScore W4288283345C33923547 @default.
- W4288283345 hasConceptScore W4288283345C41008148 @default.
- W4288283345 hasConceptScore W4288283345C80444323 @default.
- W4288283345 hasConceptScore W4288283345C9376300 @default.
- W4288283345 hasLocation W42882833451 @default.
- W4288283345 hasLocation W42882833452 @default.
- W4288283345 hasOpenAccess W4288283345 @default.
- W4288283345 hasPrimaryLocation W42882833451 @default.
- W4288283345 hasRelatedWork W1523366821 @default.
- W4288283345 hasRelatedWork W178358665 @default.
- W4288283345 hasRelatedWork W2071209259 @default.
- W4288283345 hasRelatedWork W2081782720 @default.
- W4288283345 hasRelatedWork W2121863021 @default.
- W4288283345 hasRelatedWork W2590445006 @default.
- W4288283345 hasRelatedWork W2962132526 @default.
- W4288283345 hasRelatedWork W2994702301 @default.
- W4288283345 hasRelatedWork W4285602404 @default.
- W4288283345 hasRelatedWork W4288283345 @default.
- W4288283345 isParatext "false" @default.
- W4288283345 isRetracted "false" @default.
- W4288283345 workType "article" @default.