An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic.

Andreas Krebs Howard Straubing

Published in: ACM Trans. Comput. Log. (2017)

Keyphrases

data sets
databases
case study
database
neural network
machine learning
computer vision
feature selection
evolutionary algorithm