A MaxSAT Solver Based on Differential Evolution (Preliminary Report) | Publicación