What I Learned About Theoretical CS at Cracker Barrel
Connecting the well-known peg game with SMT solvers, Turing machines, and NP-completeness. Presented to HSV.py.
#smt
Content tagged with "smt"
What I Learned About Theoretical CS at Cracker Barrel
Connecting the well-known peg game with SMT solvers, Turing machines, and NP-completeness. Presented to UAH ACM-W.