@InProceedings{manquinho-sat10,
  author =       {Vasco Manquinho and Ruben Martins and In\^es Lynce}, 
  title =        {{Improving Unsatisfiability-based Algorithms for Boolean Optimization}},
  booktitle =    {International Conference on Theory and Applications of Satisfiability Testing},
  pages = {181-193},
  year =         2010,
  publisher =    {LNCS}
}