@article{martins-jetai15,
  author    = {Ruben Martins and Vasco Manquinho and In\^es Lynce},
  title     = {{Improving Linear Search Algorithms with Model-based Approaches for MaxSAT Solving}},
  journal   = {Journal of Experimental \& Theoretical Artificial Intelligence}
  publisher = {Taylor and Francis},
  year      = {2015},
}