@InProceedings{martins-cp14,
  author =       {Ruben Martins and Saurabh Joshi and Vasco Manquinho and In\^es Lynce}, 
  title =        {{Incremental Cardinality Constraints for MaxSAT}},
  booktitle =    {International Conference on Principles and Practice of Constraint Programming},
  year =         2014,
  publisher =    {LNCS}
}