FMplex: a novel method for solving linear real arithmetic problems

DOI10.4204/EPTCS.390.2MaRDI QIDQ6940547zbMATH OpenFDO

Authors Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka

Publication date 19 August 2025

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: FMplex: a novel method for solving linear real arithmetic problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6940547)