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