pdf: branch&bound