On the looseness of FO derandomization.

Daniel J. Bernstein

Published in: IACR Cryptol. ePrint Arch. (2021)

Keyphrases

first order logic
transitive closure
fixpoint
expressive power
computer vision
pattern recognition
query language
relational model
constraint query languages
machine learning
learning algorithm
information systems
data structure
relational databases
integrity constraints