3 ms·
Great talk by Kathleen Fisher on this topic. Also mentions SAT solvers. https://youtu.be/TH0tDGk19_c https://youtu.be/TH0tDGk19_c
by est31 7y ago
Great talk by Kathleen Fisher on this topic. Also mentions SAT solvers. https://youtu.be/TH0tDGk19_c https://youtu.be/TH0tDGk19_c