experimenting with branch-and-bound algorithms