Iterative SAT Solving for Minimum Satisfiability | Publicación