@InProceedings{martins-rcra13,
  author =       {Ruben Martins and Vasco Manquinho and In\^es Lynce}, 
  title =        {{Model-based Partitioning for MaxSAT Solving}},
  booktitle =    {RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion}, 
  year =         2012
}