Algebraic methods in the theory of lower bounds for Boolean circuit complexity | Synapse