Determining the Multiplicative Complexity of Boolean Functions using SAT
Mathias Soeken
Mathias Soeken is a senior software engineer at the Quantum group at Microsoft.
Fri 3:57 am - 12:00 am
Mathias Soeken