[–] skMed 8y ago ↗ Recently listened to this on a road trip and I can report that it kept me interested and awake :). This podcast quickly focuses in on the problem of boolean satisfiability and the history of SAT solvers for those unfamiliar with said topics.
1 comment
[ 4.2 ms ] story [ 11.9 ms ] thread