Completed by Michael David LeMay

January 6, 2021

25 hours (approximately)

Michael David LeMay's account is verified. Coursera certifies their successful completion of Automated Reasoning: satisfiability