Matches in SemOpenAlex for { <https://semopenalex.org/work/W2744294793> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2744294793 endingPage "52" @default.
- W2744294793 startingPage "38" @default.
- W2744294793 abstract "We study the parameterized complexity of the propositional model counting problem #SAT for CNF formulas. As the parameter we consider the treewidth of the following two graphs associated with CNF formulas: the consensus graph and the conflict graph. Both graphs have as vertices the clauses of the formula; in the consensus graph two clauses are adjacent if they do not contain a complementary pair of literals, while in the conflict graph two clauses are adjacent if they do contain a complementary pair of literals. We show that #SAT is fixed-parameter tractable for the treewidth of the consensus graph but W[1]-hard for the treewidth of the conflict graph. We also compare the new parameters with known parameters under which #SAT is fixed-parameter tractable." @default.
- W2744294793 created "2017-08-17" @default.
- W2744294793 creator A5037092803 @default.
- W2744294793 creator A5088116512 @default.
- W2744294793 date "2017-01-01" @default.
- W2744294793 modified "2023-09-24" @default.
- W2744294793 title "New Width Parameters for Model Counting" @default.
- W2744294793 cites W1509716515 @default.
- W2744294793 cites W1516313231 @default.
- W2744294793 cites W1517036688 @default.
- W2744294793 cites W1552564877 @default.
- W2744294793 cites W1964821516 @default.
- W2744294793 cites W1996958432 @default.
- W2744294793 cites W2006912660 @default.
- W2744294793 cites W2029448190 @default.
- W2744294793 cites W2050917944 @default.
- W2744294793 cites W2059372025 @default.
- W2744294793 cites W2087957223 @default.
- W2744294793 cites W2093939144 @default.
- W2744294793 cites W2109716789 @default.
- W2744294793 cites W2114267503 @default.
- W2744294793 cites W2116087731 @default.
- W2744294793 cites W2125058377 @default.
- W2744294793 cites W2141898804 @default.
- W2744294793 cites W2146232473 @default.
- W2744294793 cites W2157837456 @default.
- W2744294793 cites W2158947586 @default.
- W2744294793 cites W2287821450 @default.
- W2744294793 cites W2313886575 @default.
- W2744294793 cites W2984546510 @default.
- W2744294793 cites W4213311856 @default.
- W2744294793 cites W4213368513 @default.
- W2744294793 doi "https://doi.org/10.1007/978-3-319-66263-3_3" @default.
- W2744294793 hasPublicationYear "2017" @default.
- W2744294793 type Work @default.
- W2744294793 sameAs 2744294793 @default.
- W2744294793 citedByCount "7" @default.
- W2744294793 countsByYear W27442947932018 @default.
- W2744294793 countsByYear W27442947932019 @default.
- W2744294793 countsByYear W27442947932020 @default.
- W2744294793 countsByYear W27442947932021 @default.
- W2744294793 countsByYear W27442947932022 @default.
- W2744294793 crossrefType "book-chapter" @default.
- W2744294793 hasAuthorship W2744294793A5037092803 @default.
- W2744294793 hasAuthorship W2744294793A5088116512 @default.
- W2744294793 hasConcept C192562407 @default.
- W2744294793 hasConcept C41008148 @default.
- W2744294793 hasConceptScore W2744294793C192562407 @default.
- W2744294793 hasConceptScore W2744294793C41008148 @default.
- W2744294793 hasLocation W27442947931 @default.
- W2744294793 hasOpenAccess W2744294793 @default.
- W2744294793 hasPrimaryLocation W27442947931 @default.
- W2744294793 hasRelatedWork W2160608618 @default.
- W2744294793 hasRelatedWork W2328380595 @default.
- W2744294793 hasRelatedWork W2737498735 @default.
- W2744294793 hasRelatedWork W2748952813 @default.
- W2744294793 hasRelatedWork W2889753853 @default.
- W2744294793 hasRelatedWork W2899084033 @default.
- W2744294793 hasRelatedWork W2899764894 @default.
- W2744294793 hasRelatedWork W3120461830 @default.
- W2744294793 hasRelatedWork W4212879511 @default.
- W2744294793 hasRelatedWork W4292492973 @default.
- W2744294793 isParatext "false" @default.
- W2744294793 isRetracted "false" @default.
- W2744294793 magId "2744294793" @default.
- W2744294793 workType "book-chapter" @default.