FMplex: exploring a bridge between Fourier-Motzkin and simplex

DOI10.46298/LMCS-21(2:6)2025MaRDI QIDQ6987761zbMATH OpenFDO

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

Publication date 6 May 2025

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

simplexSMT solvingFourier-Motzkin eliminationlinear real arithmetic

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: exploring a bridge between Fourier-Motzkin and simplex

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