@InProceedings{martins-ictai10,
  author =       {Ruben Martins and Vasco Manquinho and In\^es Lynce}, 
  title =        {{Improving Search Space Splitting for Parallel SAT Solving}},
  booktitle =    {International Conference on Tools with Artificial Intelligence}, 
  pages = {336-343},
  year =         2010,
  publisher =    {IEEE}
}