@InProceedings{martins-rcra12,
  author =       {Ruben Martins and Vasco Manquinho and In\^es Lynce}, 
  title =        {{Clause Sharing in Deterministic Parallel Maximum Satisfiability}},
  booktitle =    {RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion}, 
  year =         2012
}