[–] skMed 9y 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
[ 3.0 ms ] story [ 10.6 ms ] thread