Methods of class field theory to separate logics over finite residue classes and circuit complexity.

Argimiro Arratia Carlos E. Ortiz

Published in: J. Log. Comput. (2017)

Keyphrases

data sets
preprocessing
computational cost
computational complexity
significant improvement
benchmark datasets
complexity analysis
neural network
support vector
closure properties
tractable cases