A criterion of optimality of some parallelization scheme for backtrack search problem in binary trees
scientific article; zbMATH DE number 7395352