Counting, Sampling, and Synthesis: The Quest for Scalability.

Kuldeep S. Meel

Published in: IJCAI (2022)

Keyphrases

program synthesis
sampling strategies
website
sample size
monte carlo
random sampling
learning algorithm
sampling strategy
functional programs
database
scalable video coding
sampling rate
highly scalable
parameter space
database systems
image processing
search engine
data mining
databases
real time