Artifact for ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses

Zenodo (CERN European Organization for Nuclear Research)

Abstract

artifact for the paper "ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses"

Authors 2

1. Florian Frohn Aachen LuFG Informatik 2

   RWTH Aachen University

   Affiliation as printed

   LuFG Informatik 2, RWTH Aachen University, Germany

2. Jürgen Giesl Aachen LuFG Informatik 2

   RWTH Aachen University

   Affiliation as printed

   LuFG Informatik 2, RWTH Aachen University, Germany