A Branch-and-bound Algorithm For Array Distributions | IEEE Conference Publication | IEEE Xplore