Say, B.,
Sanner, S.,
Devriendt, J.,
Nordström, J. &
Stuckey, P.,
2021,
MaxSAT Evaluation 2021: Solver and Benchmark Descriptions. Bacchus, F., Berg, J., Järvisalo, M. & Martins, R. (eds.). Helsinki Finland:
University of Helsinki,
p. 32-36 5 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter (Report) › Research