ML Anthology

Approximate Integer Solution Counts over Linear Arithmetic Constraints

Cunjing Ge
AAAI 2024 pp. 8022-8029
doi:10.1609/AAAI.V38I8.28640 /aaai/2024/ge2024aaai-approximate/
AAAI Semantic Scholar

Cite

Text

Ge. "Approximate Integer Solution Counts over Linear Arithmetic Constraints." AAAI Conference on Artificial Intelligence, 2024. doi:10.1609/AAAI.V38I8.28640

Markdown

[Ge. "Approximate Integer Solution Counts over Linear Arithmetic Constraints." AAAI Conference on Artificial Intelligence, 2024.](https://mlanthology.org/aaai/2024/ge2024aaai-approximate/) doi:10.1609/AAAI.V38I8.28640

BibTeX

@inproceedings{ge2024aaai-approximate,
  title     = {{Approximate Integer Solution Counts over Linear Arithmetic Constraints}},
  author    = {Ge, Cunjing},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {8022-8029},
  doi       = {10.1609/AAAI.V38I8.28640},
  url       = {https://mlanthology.org/aaai/2024/ge2024aaai-approximate/}
}