03-satisfiability-modulo-theories.tex « background « chapters - vein.git - VEIN: VErification via Interaction Nets

summary refs log tree commit diff

path: root/chapters/background/03-satisfiability-modulo-theories.tex

blob: b2c141607eb8387aae8e709d1a0381b0781ba66b (plain) (blame)

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

% This section introduces Satisfiability Modulo Theories