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