First order complexity of finite random structures.

Danila Demin Maksim Zhukovskii

Published in: LICS (2024)

Keyphrases

computational cost
worst case
database
linear temporal logic
relational databases
space complexity
first order logic
higher order
stochastic dominance
polynomial hierarchy
polynomial size
logic programs
upper bound
evolutionary algorithm
computational complexity
multiscale
database systems
social networks