Universal Skolem Sets.

Florian Luca Joël Ouaknine James Worrell

Published in: LICS (2021)

Keyphrases

first order logic
database
neural network
search algorithm
pairwise
artificial intelligence
case study
database systems
multi agent
disjoint sets