Solvers

The descriptions of the solvers and benchmarks can be found here.

Main Track

• AFCA by Obiedkov and Sertkaya
• ASSAT solver family by Liu, Dong, Ji, Ding, Luo, He, Xiong, Wu, and Ke
• Fudge by Thimm, Cerutti, and Vallati
• mu-toksia by Niskanen and Järvisalo
• reducto by Bengel, Sander, and Thimm
• Scallop by Lagniez, Lonca, and Mailly
• SMART by Hoffmann, Kuhlmann, and Thimm

Heuristics Track

• ARIPOTER by Cibier, Delobelle, Mailly, and Rossit
• Fargo-Timelimited-FLiGS by Cibier and Mailly
• FARGO-LIMITED by Thimm
• FastAFGCN by Malmqvist
• FastLiGS by Cibier and Mailly
• HARPER++ by Thimm
• Heuback by Malmqvist
• Scallop by Lagniez, Lonca, and Mailly

Dynamic Track

• mu-toksia by Niskanen and Järvisalo
• Scallop by Lagniez, Lonca, and Mailly

ABA Track

• 100BA by Niskanen, Rankooh, Lehtonen, and Järvisalo
• AcbAr by Lehtonen, Rapberger, and Ulbricht
• ASPforABA by Lehtonen and Järvisalo
• MS-DIS by Diller and Gorczyca
• Scallop by Lagniez, Lonca, and Mailly