A
Menu
January 01, 2023 conference-paper Aachen paper

Automated Exercise Generation for Satisfiability Checking

Lecture notes in computer science, pp. 1–16

DOI: 10.1007/978-3-031-27534-0_1 OpenAlex

Authors 3

  1. Erika Ábrahám Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

  2. Jasper Nalbach corresponding Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

  3. Valentin Promies Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

Cited by 2 stored of 2

2 results

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

References 15

15 results