@article{martins-ijait15,
  author    = {Ruben Martins and Vasco Manquinho and In\^es Lynce},
  title     = {{Deterministic Parallel MaxSAT Solving}},
  journal   = {International Journal on Artificial Intelligence Tools},
  publisher = {World Scientific},
  year      = {2015},
}