Exploiting independent subformulas: a faster approximation scheme for \(\# k\)-SAT (Q2450932)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Exploiting independent subformulas: a faster approximation scheme for \(\# k\)-SAT |
scientific article |
Statements
Exploiting independent subformulas: a faster approximation scheme for \(\# k\)-SAT (English)
0 references
26 May 2014
0 references
analysis of algorithms
0 references
randomized algorithms
0 references
\(\# k\)-SAT
0 references
satisfiability
0 references