No label defined (Q2892663)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
19 June 2012
0 references
\#2SAT problem
0 references
branch-bound algorithm
0 references
polynomial thresholds
0 references
efficient counting
0 references
