Efficient branch and bound search with application to computer-aided design | lit.salon