@article{martins-constraints12, author = {Ruben Martins and Vasco Manquinho and In\^es Lynce}, title = {An Overview of Parallel SAT Solving}, journal = {Constraints}, publisher = {Springer Netherlands}, year = {2012}, pages = {304-347}, volume = {17}, number = {3} }