From Hall’s Marriage Theorem to Boolean Satisfiability and Back

Time and Location:

April 09, 2019 at 6PM; Warren Weaver Hall, Room 1314

Speaker:

Jonathan Lenchner, IBM T.J. Watson Research Center