Fast Estimation of First-Order Clause Coverage Through Randomization and Maximum Likelihood

Kuzelka and Zelezný. "Fast Estimation of First-Order Clause Coverage Through Randomization and Maximum Likelihood." International Conference on Machine Learning, 2008. doi:10.1145/1390156.1390220

[Kuzelka and Zelezný. "Fast Estimation of First-Order Clause Coverage Through Randomization and Maximum Likelihood." International Conference on Machine Learning, 2008.](https://mlanthology.org/icml/2008/kuzelka2008icml-fast/) doi:10.1145/1390156.1390220

@inproceedings{kuzelka2008icml-fast,
  title     = {{Fast Estimation of First-Order Clause Coverage Through Randomization and Maximum Likelihood}},
  author    = {Kuzelka, Ondrej and Zelezný, Filip},
  booktitle = {International Conference on Machine Learning},
  year      = {2008},
  pages     = {504-511},
  doi       = {10.1145/1390156.1390220},
  url       = {https://mlanthology.org/icml/2008/kuzelka2008icml-fast/}
}