Width-parameterized SAT: Time-Space Tradeoffs

Shiteng Chen Tiancheng Lou Periklis A. Papakonstantinou Bangsheng Tang

Published in: CoRR (2011)

Keyphrases

database
low dimensional
sat solvers
learning algorithm
vector space
search strategies
data sets
optimal solution
search space
orders of magnitude
phase transition