Mar2912PM SCS Faculty Candidiate MARIJN J.H. HEULE Solving Hard Problems Automatically ASA Conference Room 6115 Gates Hillman Centers