Quantifier Elimination Over the Integers

SSRN Electronic Journal 2026 Preprint Open access

Read full text

Authors: Marc Moreno Maza, Rui-Juan Jing, Yuzhuo Lei, Chirantan Mukherjee

DOI: 10.2139/ssrn.6178290

Cited by: 0

References: 22

Fields of Study & Subjects

Polynomial and algebraic computation Complexity and Algorithms in Graphs Formal Methods in Verification

References 22