Automatic program analysis using Max-SMT | Publicación