Recursive Boolean Formula Minimization Algorithms for Implication Logic. - Predrag Teodorovic; Stanisa Dautovic; Veljko Malbasa (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)

Upscale Layer Acceleration on Existing AI Hardware. - Vuk Vranjkovic; Predrag Teodorovic; Rastislav J. R. Struharik (IEEE Trans. Very Large Scale Integr. Syst., 2025)