Quantifier Elimination for Regular Integer Linear-Exponential Programming

Mikhail R. Starchak. Quantifier Elimination for Regular Integer Linear-Exponential Programming. In 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025, Singapore, June 23-26, 2025. pages 44-56, IEEE, 2025. [doi]

Abstract

Abstract is missing.