Efficient Branch and Bound Search with Application to Computer-Aided Design by Michael L. Bushnell & Chen Xinghao Chen