A
Menu
January 01, 2023 conference-paper Aachen paper

ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses

Lecture notes in computer science, pp. 259–285

DOI: 10.1007/978-3-031-44245-2_13 OpenAlex

Authors 2

  1. Florian Frohn corresponding Aachen LuFG Informatik 2

    RWTH Aachen University

    Affiliation as printed

    LuFG Informatik 2, RWTH Aachen University, Aachen, Germany

  2. Jürgen Giesl corresponding Aachen LuFG Informatik 2

    RWTH Aachen University

    Affiliation as printed

    LuFG Informatik 2, RWTH Aachen University, Aachen, Germany

Cited by 5 stored of 5

5 results

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

References 49