A
Menu
November 06, 2023 conference-paper Aachen paper

SMT: Something You Must Try

Lecture notes in computer science, pp. 3–18

DOI: 10.1007/978-3-031-47705-8_1 OpenAlex

Authors 3

  1. Erika Ábrahám Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

  2. József Kovács Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

  3. Anne Remke corresponding

    University of Münster

    Affiliation as printed

    Westfälische Wilhelms-Universität, Münster, Germany

Cited by 1 stored of 1

1 result

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

References 22