C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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