A Branch and Bound Algorithm for Optimal PLA Folding | IEEE Conference Publication | IEEE Xplore