Heuristics for Improving the Non-oblivious Local Search for MaxSAT. - Guillermo De Ita; David Eduardo Pinto; M. Nuño (IBERAMIA, 1998)