Matches in SemOpenAlex for { <https://semopenalex.org/work/W3136108410> ?p ?o ?g. }
- W3136108410 endingPage "157" @default.
- W3136108410 startingPage "128" @default.
- W3136108410 abstract "Bounded treewidth is one of the most cited combinatorial invariants, which was applied in the literature for solving several counting problems efficiently. A canonical counting problem is #SAT, which asks to count the satisfying assignments of a Boolean formula. Recent work shows that benchmarking instances for #SAT often have reasonably small treewidth. This paper deals with counting problems for instances of small treewidth. We introduce a general framework to solve counting questions based on state-of-the-art database management systems (DBMS). Our framework takes explicitly advantage of small treewidth by solving instances using dynamic programming (DP) on tree decompositions (TD). Therefore, we implement the concept of DP into a DBMS (PostgreSQL), since DP algorithms are already often given in terms of table manipulations in theory. This allows for elegant specifications of DP algorithms and the use of SQL to manipulate records and tables, which gives us a natural approach to bring DP algorithms into practice. To the best of our knowledge, we present the first approach to employ a DBMS for algorithms on TDs. A key advantage of our approach is that DBMS naturally allow to deal with huge tables with a limited amount of main memory (RAM), parallelization, as well as suspending computation." @default.
- W3136108410 created "2021-03-29" @default.
- W3136108410 creator A5056989280 @default.
- W3136108410 creator A5058774023 @default.
- W3136108410 creator A5089442472 @default.
- W3136108410 creator A5006053030 @default.
- W3136108410 date "2021-03-12" @default.
- W3136108410 modified "2023-10-18" @default.
- W3136108410 title "Exploiting Database Management Systems and Treewidth for Counting" @default.
- W3136108410 cites W1537730723 @default.
- W3136108410 cites W1825216778 @default.
- W3136108410 cites W1964821516 @default.
- W3136108410 cites W1982333717 @default.
- W3136108410 cites W1994520092 @default.
- W3136108410 cites W2050842068 @default.
- W3136108410 cites W2137407595 @default.
- W3136108410 cites W2143406303 @default.
- W3136108410 cites W2145503356 @default.
- W3136108410 cites W2185907055 @default.
- W3136108410 cites W2186752618 @default.
- W3136108410 cites W2551391766 @default.
- W3136108410 cites W2555981498 @default.
- W3136108410 cites W2560025973 @default.
- W3136108410 cites W2617661790 @default.
- W3136108410 cites W2741061345 @default.
- W3136108410 cites W2807939870 @default.
- W3136108410 cites W2914414140 @default.
- W3136108410 cites W2948333530 @default.
- W3136108410 cites W2966083108 @default.
- W3136108410 cites W2967340447 @default.
- W3136108410 cites W2974923751 @default.
- W3136108410 cites W2984546510 @default.
- W3136108410 cites W2996917877 @default.
- W3136108410 cites W3003697368 @default.
- W3136108410 cites W3030023697 @default.
- W3136108410 cites W3040346023 @default.
- W3136108410 cites W3083091134 @default.
- W3136108410 cites W3085485238 @default.
- W3136108410 cites W3090901911 @default.
- W3136108410 cites W3123509436 @default.
- W3136108410 cites W3204797423 @default.
- W3136108410 cites W325136039 @default.
- W3136108410 cites W4206392861 @default.
- W3136108410 doi "https://doi.org/10.1017/s147106842100003x" @default.
- W3136108410 hasPublicationYear "2021" @default.
- W3136108410 type Work @default.
- W3136108410 sameAs 3136108410 @default.
- W3136108410 citedByCount "2" @default.
- W3136108410 countsByYear W31361084102022 @default.
- W3136108410 countsByYear W31361084102023 @default.
- W3136108410 crossrefType "journal-article" @default.
- W3136108410 hasAuthorship W3136108410A5006053030 @default.
- W3136108410 hasAuthorship W3136108410A5056989280 @default.
- W3136108410 hasAuthorship W3136108410A5058774023 @default.
- W3136108410 hasAuthorship W3136108410A5089442472 @default.
- W3136108410 hasBestOaLocation W31361084102 @default.
- W3136108410 hasConcept C11413529 @default.
- W3136108410 hasConcept C132525143 @default.
- W3136108410 hasConcept C132569581 @default.
- W3136108410 hasConcept C134306372 @default.
- W3136108410 hasConcept C200415742 @default.
- W3136108410 hasConcept C203776342 @default.
- W3136108410 hasConcept C33923547 @default.
- W3136108410 hasConcept C34388435 @default.
- W3136108410 hasConcept C41008148 @default.
- W3136108410 hasConcept C43517604 @default.
- W3136108410 hasConcept C510870499 @default.
- W3136108410 hasConcept C70501317 @default.
- W3136108410 hasConcept C77088390 @default.
- W3136108410 hasConcept C80444323 @default.
- W3136108410 hasConceptScore W3136108410C11413529 @default.
- W3136108410 hasConceptScore W3136108410C132525143 @default.
- W3136108410 hasConceptScore W3136108410C132569581 @default.
- W3136108410 hasConceptScore W3136108410C134306372 @default.
- W3136108410 hasConceptScore W3136108410C200415742 @default.
- W3136108410 hasConceptScore W3136108410C203776342 @default.
- W3136108410 hasConceptScore W3136108410C33923547 @default.
- W3136108410 hasConceptScore W3136108410C34388435 @default.
- W3136108410 hasConceptScore W3136108410C41008148 @default.
- W3136108410 hasConceptScore W3136108410C43517604 @default.
- W3136108410 hasConceptScore W3136108410C510870499 @default.
- W3136108410 hasConceptScore W3136108410C70501317 @default.
- W3136108410 hasConceptScore W3136108410C77088390 @default.
- W3136108410 hasConceptScore W3136108410C80444323 @default.
- W3136108410 hasIssue "1" @default.
- W3136108410 hasLocation W31361084101 @default.
- W3136108410 hasLocation W31361084102 @default.
- W3136108410 hasOpenAccess W3136108410 @default.
- W3136108410 hasPrimaryLocation W31361084101 @default.
- W3136108410 hasRelatedWork W1564338822 @default.
- W3136108410 hasRelatedWork W1980883259 @default.
- W3136108410 hasRelatedWork W2367232817 @default.
- W3136108410 hasRelatedWork W2407805022 @default.
- W3136108410 hasRelatedWork W2963030972 @default.
- W3136108410 hasRelatedWork W2963590219 @default.
- W3136108410 hasRelatedWork W3136108410 @default.
- W3136108410 hasRelatedWork W3169664046 @default.
- W3136108410 hasRelatedWork W4287123363 @default.