The complexity of analytic tableaux.

Noriko H. Arai Toniann Pitassi Alasdair Urquhart

Published in: J. Symb. Log. (2006)

Keyphrases

neural network
functional dependencies
data mining
computational complexity
worst case
real time
video sequences
preprocessing
computational cost
description logics