The two-variable fragment with counting and equivalence.

Ian Pratt-Hartmann

Published in: Math. Log. Q. (2015)

Keyphrases

neural network
data mining
computer vision
information systems
feature selection
database systems
optimal solution
computational complexity