Binary decision diagram-based synthesis technique for improved mapping of Boolean functions inside memristive crossbar-slices. - Anindita Chakraborty; Vivek Maurya; Sneha Prasad; Suryansh Gupta; Rajat Subhra Chakraborty; Hafizur Rahaman 001 (IET Comput. Digit. Tech., 2021)