Automated Synthesis of a Finite Complexity Ordering for Saturation

Yannick Chevalier Mounira Kourjieh

Published in: CoRR (2012)

Keyphrases

semi automated
data sets
artificial neural networks
data mining
artificial intelligence
computer vision
computational complexity
computational cost
np complete
space complexity
lower complexity