Efficient Memristive Stateful Logic Exploring Boolean Expressions in the Sum-of-Products Form. - Cesar de S. Dias; Helisa S. de Lima; Raphael Martins Brum; Paulo F. Butzen (IEEE Trans. Circuits Syst. I Regul. Pap., 2025)