SAT via Backdoors to Small Treewidth.

Fedor V. Fomin Daniel Lokshtanov Neeldhara Misra M. S. Ramanujan Saket Saurabh

Published in: SODA (2015)

Keyphrases

sat solvers
satisfiability problem
search space
sat instances
search algorithm
neural network
upper bound
boolean functions
sat problem
propositional satisfiability
stochastic local search algorithms
database
search strategies
space complexity