The complexity of analytic tableaux.

Noriko H. Arai Toniann Pitassi Alasdair Urquhart

Published in: STOC (2001)

Keyphrases

genetic algorithm
evolutionary algorithm
space complexity
computational complexity
high computational complexity
lower complexity
real world
computer vision
information systems
learning environment
artificial neural networks
worst case