A MaxSAT Solver Based on Differential Evolution (Preliminary Report).

Manuel Framil, Pedro Cabalar, Jos Santos

Browse the full EPIA paper archive.