@article{martins-ai12,
  author    = {Ruben Martins and Vasco Manquinho and In\^es Lynce},
  title     = {{Parallel Search for Maximum Satisfiability}}
  journal   = {AI Communications},
  publisher = {IOS Press},
  volume    = {25},
  number    = {2},
  pages	    = {75--95},
  year      = {2012}
}