Approximability and proof complexity.

Ryan O'Donnell Yuan Zhou

Published in: SODA (2013)

Keyphrases

space complexity
worst case
database
computational complexity
theorem prover
database systems
face recognition
reinforcement learning
search algorithm
decision problems
approximation algorithms
linear logic