Login / Signup
Satisfiability Algorithms and Lower Bounds for Boolean Formulas over Finite Bases.
Ruiwen Chen
Published in:
Electron. Colloquium Comput. Complex. (2015)
Keyphrases
</>
lower bound
data structure
learning algorithm
computational complexity
boolean formula
practical problems
orders of magnitude