On the complexity of proof deskolemization.

Matthias Baaz Stefan Hetzl Daniel Weller

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

Keyphrases

machine learning
computational complexity
worst case
computational cost
data sets
databases
high computational complexity
user interface
decision problems