An Approximate Skolem Function Counter

Arijit Shaw, Brendan Juba, Kuldeep S. Meel

AAAI 2024 pp. 8108-8116

doi:10.1609/AAAI.V38I8.28650 /aaai/2024/shaw2024aaai-approximate/

Cite

Text

Shaw et al. "An Approximate Skolem Function Counter." AAAI Conference on Artificial Intelligence, 2024. doi:10.1609/AAAI.V38I8.28650

Markdown

[Shaw et al. "An Approximate Skolem Function Counter." AAAI Conference on Artificial Intelligence, 2024.](https://mlanthology.org/aaai/2024/shaw2024aaai-approximate/) doi:10.1609/AAAI.V38I8.28650

BibTeX

@inproceedings{shaw2024aaai-approximate,
  title     = {{An Approximate Skolem Function Counter}},
  author    = {Shaw, Arijit and Juba, Brendan and Meel, Kuldeep S.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {8108-8116},
  doi       = {10.1609/AAAI.V38I8.28650},
  url       = {https://mlanthology.org/aaai/2024/shaw2024aaai-approximate/}
}