Redirecting to External Site

You will now be redirected to https://www.ias.edu/video/how-difficult-it-certify-random-3sat-formula-unsatisfiable to view video How difficult is it to certify that a random 3SAT formula is unsatisfiable?.