M. Perkowski

Factorized Boolean representations for efficient quantum synthesis

Here it is shown that minimized expressions retain algebraic structure minimization cannot reach, arising from containment and complementary-polarity relationships among their terms, and that extracting it yields circuits cheaper to execute despite having more operations.