Iterative and core-guided MaxSAT solving: A survey and assessment | Publicación