Ruben Martins Vasco M. Manquinho Inês Lynce On Partitioning for Maximum Satisfiability. 913-914 2012 ECAI https://doi.org/10.3233/978-1-61499-098-7-913 conf/ecai/2012 db/conf/ecai/ecai2012.html#MartinsML12