diff options
| author | ericmarin <maarin.eric@gmail.com> | 2026-06-23 15:26:01 +0200 |
|---|---|---|
| committer | ericmarin <maarin.eric@gmail.com> | 2026-06-26 16:47:32 +0200 |
| commit | a8bb7736e2e86963bd5761cc05079447abeeaba6 (patch) | |
| tree | 0071214f224846057380838e3d609790785ea930 /chapters/02-background.tex | |
| parent | 11f14a4763533dbc24b0e98d115071036025d4f6 (diff) | |
| download | vein-a8bb7736e2e86963bd5761cc05079447abeeaba6.tar.gz vein-a8bb7736e2e86963bd5761cc05079447abeeaba6.zip | |
using official template + fixing language errorsthesis
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} |