guest ::
TY - JOUR AU - Promies, Valentin Maxim AU - Nalbach, Jasper Kurt Ferdinand AU - Ábrahám, Erika AU - Kobialka, Paul TI - FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex JO - Logical methods in computer science : LMCS VL - 21 IS - 2 SN - 1860-5974 CY - Braunschweig PB - Department of Theoretical Computer Science, Technical University of Braunschweig M1 - RWTH-2025-04007 SP - 13362 PY - 2025 LB - PUB:(DE-HGF)16 UR - <Go to ISI:>//WOS:001473781100001 DO - DOI:10.46298/lmcs-21(2:6)2025 UR - https://publications.rwth-aachen.de/record/1010312 ER -