Determining the Multiplicative Complexity of Boolean Functions using SAT

Determining the Multiplicative Complexity of Boolean Functions using SAT

Mathias Soeken

Mathias Soeken is a senior software engineer at the Quantum group at Microsoft.
Sat 9:26 pm - 12:00 am