@PhdThesis{martins-phd,
  title = {{Parallel Search for Maximum Satisfiability}},
  author = {Ruben Martins},
  school = {Instituto Superior T\'{e}cnico, University of Lisbon, Portugal}
  year = 2013,
}