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

% This chapter covers the fundamental concepts and notions required to understand the work

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

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

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