diff options
| author | ericmarin <maarin.eric@gmail.com> | 2026-06-19 22:57:09 +0200 |
|---|---|---|
| committer | ericmarin <maarin.eric@gmail.com> | 2026-06-26 09:57:03 +0200 |
| commit | 8d082714a1544de0c93f1963738b0db0e114df65 (patch) | |
| tree | 5c35fc90203a56cd2b5250f43f801031cd29e2b7 /chapters/02-background.tex | |
| parent | d3e761a2286d04a3c0005b199653df2f6501f070 (diff) | |
| download | vein-8d082714a1544de0c93f1963738b0db0e114df65.tar.gz vein-8d082714a1544de0c93f1963738b0db0e114df65.zip | |
background
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} |