Quantifier Elimination for Regular Integer Linear-Exponential Programming
Year: 2025
Type: conference-paper
Author: Mikhail R. Starchak
Institution: St Petersburg University
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Funder: Russian Science Foundation
OpenAlex ID: W4415003641