Fast estimation of first-order clause coverage through randomization and maximum likelihood.

Ondrej Kuzelka, Filip Zelezn

Browse the full ICML paper archive.