Ruben Martins Vasco M. Manquinho Inês Lynce Clause Sharing in Parallel MaxSAT. 455-460 2012 LION https://doi.org/10.1007/978-3-642-34413-8_44 conf/lion/2012 db/conf/lion/lion2012.html#MartinsML12