A
Menu
January 01, 2025 conference-paper Open access Aachen paper

Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems

RWTH Publications (RWTH Aachen)

DOI: 10.18154/rwth-2026-01538 Full text (OA) OpenAlex

Authors 4

  1. Christopher Brix Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

  2. Julia Walczak Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

  3. Nils Lommen Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

  4. T. G. Noll Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

Cited by 0 stored of 0

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

References 0