Which course have you got in mind, [1] given by Hans Zantema? [1] Automated Reasoning: satisfiability, https://www.coursera.org/learn/automated-reasoning-sat h

Which 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