Solving the Wastewater Treatment Plant Problem with SMT | Publicación