A
Menu
January 01, 2020 article Open access Aachen paper

A novel adaption of the Simplex algorithm for linear real arithmetic

RWTH Publications (RWTH Aachen)

DOI: 10.18154/rwth-2021-04303 Full text (OA) OpenAlex

Authors 1

  1. Jasper Nalbach corresponding Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

Cited by 1 stored of 1

1 result

No patents citing this paper on Lens.org (checked 2026-10-06).

References 0