@InProceedings{martins-ecai12,
  author =       {Ruben Martins and Vasco Manquinho and In\^es Lynce}, 
  title =        {{On Partitioning for Maximum Satisfiability}},
  booktitle =    {European Conference on Artificial Intelligence (ECAI'12), Short Paper},
  pages =        {913--914},
  year =         2012,
  publisher =    {IOS Press}
}