VN Rao,
V Kumar - Foundations of Software Technology and Theoretical …, 1988 - Springer
When N processors perform depth-first search on disjoint parts of a state space tree to find a
solution, the speedup can be superlinear (ie,> N) or sublinear (ie,< N) depending upon …