Complexity Analysis Based on Ordered Resolution.

David A. Basin Harald Ganzinger

Published in: LICS (1996)

Keyphrases

complexity analysis
theoretical analysis
lower bound
consequence finding
first order logic
high resolution
sampling rate
image resolution
computational complexity
partially ordered
low resolution
ordered sets
data sets
evolutionary algorithm
multiscale
learning algorithm
databases