blob: c306e2e6fc26914e987ee8a38aad6857a1d912e2 (
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}
|
