Winner of the PACE’19 Competition, Hypertree Width/Exact
PACE'19 is the 4th edition of the Parameterized Algorithms and Computational Experiments Challenge, which was conceived in Fall 2015 to deepen the relationship between parameterized algorithms and practice. Implemented algorithms are submitted and ranked by their performance on a large set of benchmark problem instances.
PACE'19 had three tracks: Vertex Cover, Hypertree Width/Exact, and Hypertree Width/Heuristic. Our algorithm HtdSMT came first in the Hypertree Width/Exact track.