Nov 6 2017 4:00pm - Nov 6 2017 5:00pm Solving Very Hard Problems, or Everything is Bigger in Texas Distinguished Lecture Series Speaker: Marijn Heule Ph.D., Research Professor of Computer Science University of Texas, Austin