algorithms Branch and bound and some problem reductions with java Problems solved Independent set (greedy approach) Independent set (Branch and Bound approach) Clique problem SAT