Exponential Complexity of Satisfiability Testing for Linear-Size Boolean Formulas.

Evgeny Dantsin Alexander Wolpert

Published in: CIAC (2013)

Keyphrases

boolean formula
satisfiability testing
computational complexity
linear constraints
decision problems
machine learning
sat solvers
learning algorithm
artificial intelligence
constraint satisfaction
propositional logic