Exploiting Independent Subformulas: A Faster Approximation Scheme for #k-SAT

Manuel Schmitt Rolf Wanka

Published in: CoRR (2013)

Keyphrases

polynomial time approximation
randomized approximation
approximation schemes
satisfiability problem
data sets
memory efficient
neural network
learning algorithm
search algorithm
search strategies
approximation algorithms
phase transition
classification scheme
error tolerance
conjugate gradient algorithm