Constrained Counting and Sampling: Bridging the Gap between Theory and Practice EventThursday, April 13, 2017 - 3:30pmAbstract: