Fast Converging Anytime Model Counting

Yong Lai, Kuldeep S. Meel, Roland H. C. Yap

AAAI 2023 pp. 4025-4034

doi:10.1609/AAAI.V37I4.25517 /aaai/2023/lai2023aaai-fast/

Cite

Text

Lai et al. "Fast Converging Anytime Model Counting." AAAI Conference on Artificial Intelligence, 2023. doi:10.1609/AAAI.V37I4.25517

Markdown

[Lai et al. "Fast Converging Anytime Model Counting." AAAI Conference on Artificial Intelligence, 2023.](https://mlanthology.org/aaai/2023/lai2023aaai-fast/) doi:10.1609/AAAI.V37I4.25517

BibTeX

@inproceedings{lai2023aaai-fast,
  title     = {{Fast Converging Anytime Model Counting}},
  author    = {Lai, Yong and Meel, Kuldeep S. and Yap, Roland H. C.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2023},
  pages     = {4025-4034},
  doi       = {10.1609/AAAI.V37I4.25517},
  url       = {https://mlanthology.org/aaai/2023/lai2023aaai-fast/}
}