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

by Xinghao Chen, Michael L Bushnell