Efficient Branch and Bound Search with Application to Computer-Aided Design