New width parameters for SAT and \#SAT (Q2238644)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: New width parameters for SAT and \#SAT |
scientific article; zbMATH DE number 7418649
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | New width parameters for SAT and \#SAT |
scientific article; zbMATH DE number 7418649 |
Statements
New width parameters for SAT and \#SAT (English)
0 references
2 November 2021
0 references
SAT
0 references
model counting
0 references
parameterized complexity
0 references
treewidth
0 references
community structure
0 references
0 references
0 references
0 references
0 references
0.78630656
0 references
0.7648852
0 references
0 references
0 references
0.7632181
0 references
0.76040775
0 references
0.75857806
0 references
0.7566289
0 references
