Felix Bayhurst, Li-Wei Chen, Kefeng Li, Heidemarie Krüger, Nan Du, Ilia Polian: Synthesizing Mixed-Mode Operations for Memristors using Majority Decomposition. DATE 2026: 1-3