Constrained Counting and Sampling: Bridging the Gap between Theory and Practice

Time and Location:

April 04, 2017 at 1PM; Warren Weaver Hall, Room TBA,

Speaker:

Kuldeep Meel, Rice University