From Hall’s Marriage Theorem to Boolean Satisfiability and Back
Time and Location:
April 09, 2019 at 6PM; Warren Weaver Hall, Room 1314Speaker:
Jonathan Lenchner, IBM T.J. Watson Research Center
Jonathan Lenchner, IBM T.J. Watson Research Center