What I Learned About Theoretical CS at Cracker Barrel
Presented to HSV.py at GigaParts.
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.
Presented to HSV.py at GigaParts.
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.