From 7784e295a14a957e3e04cf2de7b6f4be0247992b Mon Sep 17 00:00:00 2001 From: ericmarin Date: Mon, 9 Mar 2026 15:15:41 +0100 Subject: thesis structure --- chapters/02-background.tex | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 chapters/02-background.tex (limited to 'chapters/02-background.tex') 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} -- cgit v1.2.3