\chapter{Background}
\label{ch:background}

This chapter contains the background theory necessary to understand the rest of the thesis, such as
neural networks (\textbf{\Cref{sec:neural-networks}}), interaction nets
(\textbf{\Cref{sec:interaction-nets}}), and SMT solvers (\textbf{\Cref{sec:satisfiability-modulo-theories}}).

\input{chapters/background/01-neural-networks}

\input{chapters/background/02-interaction-nets}

\input{chapters/background/03-satisfiability-modulo-theories}