blob: ca6160e101a53898fa30140b6ee2504b282db6fc (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
\chapter{Background}
\label{ch:background}
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}
\input{chapters/background/02-interaction-nets}
\input{chapters/background/03-satisfiability-modulo-theories}
|
