The CALGO team of MATRIS Research Group joined the 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Conference (SYNASC), which took place at the Research Institute for Symbolic Computation of the Johannes Kepler University at Schloss Hagenberg from September 12-15.
In the logic and programming session, researcher of MATRIS Research Group, Irene Hiess, gave a talk with the title of IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation, presenting joint work with Ludwig Kampel, Michael Wagner, and Dimitris E. Simos, who joined the conference also.
IPO-MAXSAT is an algorithm that combines the prominent IPO strategy for covering array generation with MaxSAT to optimize the individual extension steps performed when using this strategy. Generating the optimized covering arrays is a challenging combinatorial optimization problem. Nevertheless, according to the experimental evaluation, IPO-MAXSAT produces solutions of better quality than other state-of-the-art algorithms that implement the IPO strategy. The talk and the work raised a lot of attention amongst the conference participants and initiated lively discussions.
12-15 September, 2022
Research Institute for Symbolic Computation of the Johannes Kepler University, at Schloss Hagenberg – Linz/Austria