Ruben Martins Vasco M. Manquinho Inês Lynce Parallel search for maximum satisfiability. 75-95 2012 25 AI Commun. 2 https://doi.org/10.3233/AIC-2012-0517 db/journals/aicom/aicom25.html#MartinsML12