From Quantifier Depth to Quantifier Number: Separating Structures with k Variables.

Harry Vinall-Smeeth

Published in: LICS (2024)

Keyphrases

small number
fixed number
computational complexity
depth map
artificial intelligence
high quality
machine learning
clustering algorithm
case study
database systems
evolutionary algorithm
regression model