Title: Satisfiability Testing (Synthesis Lectures on Artificial Intelligence and Machine Learning)