Determining the Multiplicative Complexity of Boolean Functions using SAT

June 27, 2020July 21, 2020pegaillardon

Mathias Soeken

Mathias Soeken is a senior software engineer at the Quantum group at Microsoft.

Fri 4:09 pm - 12:00 am