PSOP decomposition for EXOR-based synthesis. - Anna Bernasconi 001; Valentina Ciriani; Gianmarco Cuciniello; Asma Taheri Monfared (it Inf. Technol., 2024)