Quantified Linear and Polynomial Arithmetic Satisfiability via Template-Based Skolemization

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, Dorde Zikelic

AAAI 2025 pp. 11158-11166

doi:10.1609/AAAI.V39I11.33213 /aaai/2025/chatterjee2025aaai-quantified/

AAAI Semantic Scholar

Cite

Text

Chatterjee et al. "Quantified Linear and Polynomial Arithmetic Satisfiability via Template-Based Skolemization." AAAI Conference on Artificial Intelligence, 2025. doi:10.1609/AAAI.V39I11.33213

Markdown

[Chatterjee et al. "Quantified Linear and Polynomial Arithmetic Satisfiability via Template-Based Skolemization." AAAI Conference on Artificial Intelligence, 2025.](https://mlanthology.org/aaai/2025/chatterjee2025aaai-quantified/) doi:10.1609/AAAI.V39I11.33213

BibTeX

@inproceedings{chatterjee2025aaai-quantified,
  title     = {{Quantified Linear and Polynomial Arithmetic Satisfiability via Template-Based Skolemization}},
  author    = {Chatterjee, Krishnendu and Goharshady, Ehsan Kafshdar and Karrabi, Mehrdad and Motwani, Harshit J. and Seeliger, Maximilian and Zikelic, Dorde},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2025},
  pages     = {11158-11166},
  doi       = {10.1609/AAAI.V39I11.33213},
  url       = {https://mlanthology.org/aaai/2025/chatterjee2025aaai-quantified/}
}