diff options
Diffstat (limited to 'chapters/02-background.tex')
| -rw-r--r-- | chapters/02-background.tex | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/chapters/02-background.tex b/chapters/02-background.tex index c2d92b9..ca6160e 100644 --- a/chapters/02-background.tex +++ b/chapters/02-background.tex @@ -1,7 +1,9 @@ \chapter{Background} \label{ch:background} -% This chapter covers the fundamental concepts and notions required to understand the work +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} |