André Schidler and Stefan Szeider achieved the first place in the PACE’19 Challenge (Parameterized Algorithms and Computational Experiments) with their solver htdSMT (an SMT based solver for hypertree decompositions) in the track Hypertree Width/Exact. André Schidler is an Alumnus of TU Wien Informatics, who, after his research stay at TU Dresden joins us again in October 2019. Stefan Szeider is the head of our Research Unit Algorithms and Complexity Group.

The award ceremony took place on September 13, 2019, in Munich as part of the 19th annual ALGO congress, a leading international gathering of researchers on algorithms in Europe. PACE’19 had three tracks: Vertex Cover, Hypertree Width/Exact, and Hypertree Width/Heuristic. The challenge was sponsored by the NETWORKS project and Data Experts gmbh.

The series of PACE was conceived in 2015 to bridge the divide between the theory of algorithm design and analysis, and the practice of algorithm engineering. The challenges inspire new theoretical developments, and investigate in how far theoretical algorithms from parameterized complexity and related fields are competitive in practice.

Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.