On Exact Sampling in the Two-Variable Fragment of First-Order Logic.

Yuanhong Wang Juhua Pu Yuyi Wang Ondrej Kuzelka

Published in: LICS (2023)

Keyphrases

random sampling
sampling strategy
sampling methods
data sets
sampling algorithm
monte carlo
artificial intelligence
databases
image processing
website
active learning
mobile robot
sample size
decision making
parameter space
social networks
brute force
sampling rate
database