Efficient Branch and Bound Search with Application to Computer-Aided DesignXinghao Chen, Michael L. Bushnell₹7,729
