diff options
Diffstat (limited to 'chapters/02-background.tex')
| -rw-r--r-- | chapters/02-background.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/chapters/02-background.tex b/chapters/02-background.tex index ca6160e..c306e2e 100644 --- a/chapters/02-background.tex +++ b/chapters/02-background.tex @@ -1,9 +1,9 @@ \chapter{Background} \label{ch:background} -This chapter contains the background theory necessary to understand the rest of the thesis such as: +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}}). +(\textbf{\Cref{sec:interaction-nets}}), and SMT solvers (\textbf{\Cref{sec:satisfiability-modulo-theories}}). \input{chapters/background/01-neural-networks} |