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