Automated Reasoning: satisfiability

Completed by Michael David LeMay

January 6, 2021

View certificate for Michael David LeMay, Automated Reasoning: satisfiability, an online non-credit course authorized by EIT Digital  and offered through Coursera