\section{Satisfiability Modulo Theories}
\label{sec:satisfiability-modulo-theories}

% This section introduces Satisfiability Modulo Theories