Automated Algorithm Configuration of $$\alpha $$, $$\beta $$-CROWN

Lecture notes in computer science, pp. 232–253

Authors 2

1. Konstantin Kaulen corresponding Aachen Chair of AI Methodology (AIM)

   RWTH Aachen University

   Affiliation as printed

   Chair of AI Methodology, RWTH Aachen University, Aachen, Germany

2. Holger H. Hoos Aachen Chair of AI Methodology (AIM)

   RWTH Aachen University · Leiden University

   Affiliation as printed

   Chair of AI Methodology, RWTH Aachen University, Aachen, Germany

   LIACS, Leiden University, Leiden, The Netherlands