h1

h2

h3

h4

h5
h6
TY  - CONF
AU  - Frohn, Florian
AU  - Giesl, Jürgen
TI  - ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
VL  - 14284
CY  - Cham
PB  - Springer Nature Switzerland
M1  - RWTH-2023-10838
T2  - Lecture Notes in Computer Science
SP  - 259-285
PY  - 2023
T2  - 30. International Static Analysis Symposium
CY  - , Cascais (Portugal)
M2  - Cascais, Portugal
LB  - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
UR  - <Go to ISI:>//WOS:001455904300013
DO  - DOI:10.1007/978-3-031-44245-2_13
UR  - https://publications.rwth-aachen.de/record/973498
ER  -