Width-Parametrized SAT: Time--Space Tradeoffs.

Eric Allender Shiteng Chen Tiancheng Lou Periklis A. Papakonstantinou Bangsheng Tang

Published in: Theory Comput. (2014)

Keyphrases

search algorithm
search space
space time
higher dimensional
max sat
boolean satisfiability
neural network
information retrieval
decision trees
state space
simulated annealing
np complete
phase transition