no code implementations • 28 Apr 2023 • Isabelle Kuhlmann, Anna Gessler, Vivien Laszlo, Matthias Thimm
In an extensive experimental analysis, we compare the SAT-based and ASP-based approaches with each other, as well as with a set of naive baseline algorithms.