A MaxSAT Solver Based on Differential Evolution (Preliminary Report). - Manuel Framil; Pedro Cabalar; José Santos 003 (EPIA, 2022)