@InProceedings{martins-modRef09,
  author =       {Ruben Martins and In\^es Lynce and Vasco Manquinho}, 
  title =        {{Preprocessing in Pseudo-Boolean Optimization: An Experimental Evaluation}},
  booktitle =    {International Workshop on Constraint Modelling and Reformulation}, 
  year =         2009
}