Presenter Full Program · Contributors · Organizations · Search Program · My AgendaMore…Search ProgramMy AgendaMathias SoekenMicrosoftPresentationsNetworking ReceptionWork-in-Progress PosterDetermining the Multiplicative Complexity of Boolean Functions using SATIn-Person Only