diff options
| author | ericmarin <maarin.eric@gmail.com> | 2026-03-09 15:15:41 +0100 |
|---|---|---|
| committer | ericmarin <maarin.eric@gmail.com> | 2026-06-26 09:57:03 +0200 |
| commit | 6d4f1e541e5e630359bcb640fb37a64e6ec2f438 (patch) | |
| tree | 8dfc65da1bf33433f57f86314bf599e07d178f0c /chapters/02-background.tex | |
| download | vein-6d4f1e541e5e630359bcb640fb37a64e6ec2f438.tar.gz vein-6d4f1e541e5e630359bcb640fb37a64e6ec2f438.zip | |
thesis structure
Diffstat (limited to 'chapters/02-background.tex')
| -rw-r--r-- | chapters/02-background.tex | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/chapters/02-background.tex b/chapters/02-background.tex new file mode 100644 index 0000000..c2d92b9 --- /dev/null +++ b/chapters/02-background.tex @@ -0,0 +1,10 @@ +\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} |