@InProceedings{martins-ictai11,
  author =       {Ruben Martins and Vasco Manquinho and In\^es Lynce}, 
  title =        {{Exploiting Cardinality Encodings in Parallel Maximum Satisfiability}},
  booktitle =    {International Conference on Tools with Artificial Intelligence}, 
  pages = {313-320},
  year =         2011,
  publisher =    {IEEE}
}