F. Avellaneda, “A short description of the solver EvalMaxSAT”, in MaxSAT Evaluation 2020 (MSE 2020), pp. 8-9, Alghero, Italy, July 5-9 2020.