Exploiting independent subformulas: A faster approximation scheme for #k-SAT.
Manuel SchmittRolf WankaPublished in: Inf. Process. Lett. (2013)
Keyphrases
- polynomial time approximation
- approximation schemes
- search algorithm
- neural network
- error bounds
- approximation algorithms
- satisfiability problem
- sat solvers
- conjugate gradient algorithm
- randomized approximation
- classification scheme
- detection scheme
- relative error
- approximation error
- stochastic local search
- subdivision scheme