Order-Invariance of Two-Variable Logic is coNExpTime-complete.

Bartosz Bednarczyk

Published in: CoRR (2022)

Keyphrases

information systems
data sets
real world
data mining
computer vision
face recognition
multiscale
artificial neural networks
probabilistic model