Vinkó Tamás: Branch and prune techniques in multidimensional interval global optimization algorithms : [abstract].