Parallel Tree Search in Volunteer Computing: a Case Study. - Wenjie Fang; Uwe Beckert (J. Grid Comput., 2018)