Reusing Building Blocks of Extracted Knowledge to Solve Complex, Large-Scale Boolean Problems | IEEE Journals & Magazine | IEEE Xplore