A Best-First Search Algorithm for Optimal PLA Folding | IEEE Journals & Magazine | IEEE Xplore