@InProceedings{martins-rcra11, author = {Ruben Martins and Vasco Manquinho and In\^es Lynce}, title = {{Parallel Search for Boolean Optimization}}, booktitle = {RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion}, year = 2011 }