PLA-based Boolean factorization using ROBDD | IEEE Conference Publication | IEEE Xplore