Login / Signup
New Algorithms for QBF Satisfiability and Implications for Circuit Complexity.
Rahul Santhanam
Ryan Williams
Published in:
Electron. Colloquium Comput. Complex. (2013)
Keyphrases
</>
computational complexity
space complexity
computational cost
worst case
learning algorithm
orders of magnitude
data structure
high computational complexity
decision procedures
lower complexity
high speed
computationally efficient
theoretical analysis