Follow
Determining the Multiplicative Complexity of Boolean Functions using SAT. (arXiv:2005.01778v1 [cs.DS]) http://arxiv.org/abs/2005.01778
Determining the Multiplicative Complexity of Boolean Functions using SAT. (arXiv:2005.01778v1 [cs.DS]) http://arxiv.org/abs/2005.01778