Matches in SemOpenAlex for { <https://semopenalex.org/work/W3022611987> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W3022611987 endingPage "1140" @default.
- W3022611987 startingPage "1130" @default.
- W3022611987 abstract "Abstract Counting models for a two conjunctive formula (2-CF) $F$, a problem known as $sharp $2Sat, is a classic $sharp $P complete problem. Given a 2-CF $F$ as input, its constraint graph $G$ is built. If $G$ is acyclic, then $sharp $2Sat($F$) can be computed efficiently. In this paper, we address the case when $G$ has cycles. When $G$ is cyclic, we propose a decomposition on the constraint graph $G$ that allows the computation of $sharp $2Sat($F$) in incremental way. Let $T$ be a cactus graph of $G$ containing a maximal number of independent cycles, and let $overline{T}=(E(G)-E(T))$ be a subset of frond edges from $G$. The clauses in $overline{T}$ are ordered in connected components ${K_1, ldots , K_r}$. Each $(G cup K_i), i=1,ldots ,r$ is a knot (a set of intersected cycles) of the graph. The arrangement of the clauses of $overline{T}$ allows the decomposition of $G$ in knots and provides a way of computing $sharp $2Sat(F) in an incremental way. Our procedure has a bottom-up orientation for the computation of $sharp $2Sat($F$). It begins with $F_0 = T$. In each iteration of the procedure, a new clause $C_i in overline{T}$ is considered in order to form $F_i = (F_{i-1} wedge C_i)$ and then to compute $sharp $2Sat$(F_i)$ based on the computation of $sharp $2Sat$(F_{i-1})$." @default.
- W3022611987 created "2020-05-13" @default.
- W3022611987 creator A5004644462 @default.
- W3022611987 creator A5017961941 @default.
- W3022611987 creator A5040624298 @default.
- W3022611987 date "2020-05-05" @default.
- W3022611987 modified "2023-10-16" @default.
- W3022611987 title "A bottom-up algorithm for solving ♯2SAT" @default.
- W3022611987 cites W1522053103 @default.
- W3022611987 cites W1563127428 @default.
- W3022611987 cites W1964821516 @default.
- W3022611987 cites W2090518395 @default.
- W3022611987 cites W2123864423 @default.
- W3022611987 cites W2139364539 @default.
- W3022611987 cites W2962886649 @default.
- W3022611987 doi "https://doi.org/10.1093/jigpal/jzaa009" @default.
- W3022611987 hasPublicationYear "2020" @default.
- W3022611987 type Work @default.
- W3022611987 sameAs 3022611987 @default.
- W3022611987 citedByCount "0" @default.
- W3022611987 crossrefType "journal-article" @default.
- W3022611987 hasAuthorship W3022611987A5004644462 @default.
- W3022611987 hasAuthorship W3022611987A5017961941 @default.
- W3022611987 hasAuthorship W3022611987A5040624298 @default.
- W3022611987 hasConcept C11413529 @default.
- W3022611987 hasConcept C114614502 @default.
- W3022611987 hasConcept C117160843 @default.
- W3022611987 hasConcept C118615104 @default.
- W3022611987 hasConcept C132525143 @default.
- W3022611987 hasConcept C33923547 @default.
- W3022611987 hasConcept C45374587 @default.
- W3022611987 hasConceptScore W3022611987C11413529 @default.
- W3022611987 hasConceptScore W3022611987C114614502 @default.
- W3022611987 hasConceptScore W3022611987C117160843 @default.
- W3022611987 hasConceptScore W3022611987C118615104 @default.
- W3022611987 hasConceptScore W3022611987C132525143 @default.
- W3022611987 hasConceptScore W3022611987C33923547 @default.
- W3022611987 hasConceptScore W3022611987C45374587 @default.
- W3022611987 hasIssue "6" @default.
- W3022611987 hasLocation W30226119871 @default.
- W3022611987 hasOpenAccess W3022611987 @default.
- W3022611987 hasPrimaryLocation W30226119871 @default.
- W3022611987 hasRelatedWork W2000144448 @default.
- W3022611987 hasRelatedWork W2024593554 @default.
- W3022611987 hasRelatedWork W2071261821 @default.
- W3022611987 hasRelatedWork W2075689026 @default.
- W3022611987 hasRelatedWork W2131867452 @default.
- W3022611987 hasRelatedWork W2951126587 @default.
- W3022611987 hasRelatedWork W2963575629 @default.
- W3022611987 hasRelatedWork W3003396734 @default.
- W3022611987 hasRelatedWork W3020946092 @default.
- W3022611987 hasRelatedWork W4301024910 @default.
- W3022611987 hasVolume "28" @default.
- W3022611987 isParatext "false" @default.
- W3022611987 isRetracted "false" @default.
- W3022611987 magId "3022611987" @default.
- W3022611987 workType "article" @default.