3 ms·
Excellent and timely - Coursera is currently running a very enjoyable and gentle introductory course on this subject.
by carlsborg 8y ago
Excellent and timely - Coursera is currently running a very enjoyable and gentle introductory course on this subject.
- YetAnotherNick 8y agoThanks. Later part of the course looks really good on first look.
- YorkshireSeason 8y agoWhich course have you got in mind, [1] given by Hans Zantema? [1] Automated Reasoning: satisfiability, https://www.coursera.org/learn/automated-reasoning-sat https://www.coursera.org/learn/automated-reasoning-sat