In this talk, we are going to discuss what happens once you have a problem that is big to solve by hand, and you need to solve it with an automated solver.  We'll discuss the three main approaches: trusting the solver's output, using verified solvers, and obtaining and checking certificates and how my work touches all three aspects.