A tight Karp-Lipton collapse result in bounded arithmetic.

Olaf Beyersdorff Sebastian Müller

Published in: ACM Trans. Comput. Log. (2010)

Keyphrases

upper bound
lower bound
databases
artificial intelligence
wide range
cooperative
worst case
real time
real world
machine learning
natural language