@InProceedings{martins-lion12,
  author =       {Ruben Martins and Vasco Manquinho and In\^es Lynce}, 
  title =        {{Clause Sharing in Parallel MaxSAT}},
  booktitle =    {Learning and Intelligent OptimizatioN},
  pages =   	 {455--460} 
  year =         2012,
  publisher =    {LNCS}
}