@InProceedings{martins-sat13,
  author =       {Ruben Martins and Vasco Manquinho and In\^es Lynce}, 
  title =        {{Community-based Partitioning for MaxSAT Solving}},
  booktitle =    {International Conference on Theory and Applications of Satisfiability Testing},
  pages = {182-191},
  year =         2013,
  publisher =    {LNCS}
}