Matches in SemOpenAlex for { <https://semopenalex.org/work/W4307419862> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W4307419862 endingPage "103810" @default.
- W4307419862 startingPage "103810" @default.
- W4307419862 abstract "In this paper, we introduce a novel algorithm to solve projected model counting (PMC). PMC asks to count solutions of a Boolean formula with respect to a given set of projection variables, where multiple solutions that are identical when restricted to the projection variables count as only one solution. Inspired by the observation that the so-called “treewidth” is one of the most prominent structural parameters, our algorithm utilizes small treewidth of the primal graph of the input instance. More precisely, it runs in time O(22k+4n2) where k is the treewidth and n is the input size of the instance. In other words, we obtain that the problem PMC is fixed-parameter tractable when parameterized by treewidth. Further, we take the exponential time hypothesis (ETH) into consideration and establish lower bounds of bounded treewidth algorithms for PMC, yielding asymptotically tight runtime bounds of our algorithm. While the algorithm above serves as a first theoretical upper bound and although it might be quite appealing for small values of k, unsurprisingly a naive implementation adhering to this runtime bound suffers already from instances of relatively small width. Therefore, we turn our attention to several measures in order to resolve this issue towards exploiting treewidth in practice: We present a technique called nested dynamic programming, where different levels of abstractions of the primal graph are used to (recursively) compute and refine tree decompositions of a given instance. Further, we integrate the concept of hybrid solving, where subproblems hidden by the abstraction are solved by classical search-based solvers, which leads to an interleaving of parameterized and classical solving. Finally, we provide a nested dynamic programming algorithm and an implementation that relies on database technology for PMC and a prominent special case of PMC, namely model counting (#Sat). Experiments indicate that the advancements are promising, allowing us to solve instances of treewidth upper bounds beyond 200." @default.
- W4307419862 created "2022-11-01" @default.
- W4307419862 creator A5050387054 @default.
- W4307419862 creator A5056989280 @default.
- W4307419862 creator A5058774023 @default.
- W4307419862 creator A5089442472 @default.
- W4307419862 creator A5006053030 @default.
- W4307419862 date "2023-01-01" @default.
- W4307419862 modified "2023-09-25" @default.
- W4307419862 title "Solving Projected Model Counting by Utilizing Treewidth and its Limits" @default.
- W4307419862 cites W1754110195 @default.
- W4307419862 cites W1964680470 @default.
- W4307419862 cites W1995725694 @default.
- W4307419862 cites W2015255212 @default.
- W4307419862 cites W2021180976 @default.
- W4307419862 cites W2049316103 @default.
- W4307419862 cites W2059372025 @default.
- W4307419862 cites W2115826669 @default.
- W4307419862 cites W2116087731 @default.
- W4307419862 cites W2125058377 @default.
- W4307419862 cites W2145503356 @default.
- W4307419862 cites W2287821450 @default.
- W4307419862 cites W2731670349 @default.
- W4307419862 cites W2963234253 @default.
- W4307419862 cites W2963352550 @default.
- W4307419862 cites W2967340447 @default.
- W4307419862 cites W2984546510 @default.
- W4307419862 cites W4210560264 @default.
- W4307419862 cites W4230626603 @default.
- W4307419862 doi "https://doi.org/10.1016/j.artint.2022.103810" @default.
- W4307419862 hasPublicationYear "2023" @default.
- W4307419862 type Work @default.
- W4307419862 citedByCount "0" @default.
- W4307419862 crossrefType "journal-article" @default.
- W4307419862 hasAuthorship W4307419862A5006053030 @default.
- W4307419862 hasAuthorship W4307419862A5050387054 @default.
- W4307419862 hasAuthorship W4307419862A5056989280 @default.
- W4307419862 hasAuthorship W4307419862A5058774023 @default.
- W4307419862 hasAuthorship W4307419862A5089442472 @default.
- W4307419862 hasConcept C113174947 @default.
- W4307419862 hasConcept C11413529 @default.
- W4307419862 hasConcept C114614502 @default.
- W4307419862 hasConcept C118615104 @default.
- W4307419862 hasConcept C132525143 @default.
- W4307419862 hasConcept C132569581 @default.
- W4307419862 hasConcept C134306372 @default.
- W4307419862 hasConcept C165464430 @default.
- W4307419862 hasConcept C203776342 @default.
- W4307419862 hasConcept C33923547 @default.
- W4307419862 hasConcept C34388435 @default.
- W4307419862 hasConcept C41008148 @default.
- W4307419862 hasConcept C43517604 @default.
- W4307419862 hasConcept C57493831 @default.
- W4307419862 hasConcept C69284658 @default.
- W4307419862 hasConcept C70501317 @default.
- W4307419862 hasConcept C77553402 @default.
- W4307419862 hasConcept C80444323 @default.
- W4307419862 hasConceptScore W4307419862C113174947 @default.
- W4307419862 hasConceptScore W4307419862C11413529 @default.
- W4307419862 hasConceptScore W4307419862C114614502 @default.
- W4307419862 hasConceptScore W4307419862C118615104 @default.
- W4307419862 hasConceptScore W4307419862C132525143 @default.
- W4307419862 hasConceptScore W4307419862C132569581 @default.
- W4307419862 hasConceptScore W4307419862C134306372 @default.
- W4307419862 hasConceptScore W4307419862C165464430 @default.
- W4307419862 hasConceptScore W4307419862C203776342 @default.
- W4307419862 hasConceptScore W4307419862C33923547 @default.
- W4307419862 hasConceptScore W4307419862C34388435 @default.
- W4307419862 hasConceptScore W4307419862C41008148 @default.
- W4307419862 hasConceptScore W4307419862C43517604 @default.
- W4307419862 hasConceptScore W4307419862C57493831 @default.
- W4307419862 hasConceptScore W4307419862C69284658 @default.
- W4307419862 hasConceptScore W4307419862C70501317 @default.
- W4307419862 hasConceptScore W4307419862C77553402 @default.
- W4307419862 hasConceptScore W4307419862C80444323 @default.
- W4307419862 hasLocation W43074198621 @default.
- W4307419862 hasOpenAccess W4307419862 @default.
- W4307419862 hasPrimaryLocation W43074198621 @default.
- W4307419862 hasRelatedWork W1980883259 @default.
- W4307419862 hasRelatedWork W2135382359 @default.
- W4307419862 hasRelatedWork W2407805022 @default.
- W4307419862 hasRelatedWork W2952680644 @default.
- W4307419862 hasRelatedWork W2963030972 @default.
- W4307419862 hasRelatedWork W2963590219 @default.
- W4307419862 hasRelatedWork W3105392741 @default.
- W4307419862 hasRelatedWork W3105899476 @default.
- W4307419862 hasRelatedWork W3135732667 @default.
- W4307419862 hasRelatedWork W3169664046 @default.
- W4307419862 hasVolume "314" @default.
- W4307419862 isParatext "false" @default.
- W4307419862 isRetracted "false" @default.
- W4307419862 workType "article" @default.