What I Learned About Theoretical CS at Cracker Barrel

Presented to the UAH chapter of the Association for Computing Machinery for Women (ACM-W).

The slides and code are online, and my post “15-Peg Solitaire: Brute Force vs. an SMT Solver” is a written version of the first half of the talk.