blob: c2d92b9b8bc702c6732c61a930c2b7be6f8ba711 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
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}
|