From 7784e295a14a957e3e04cf2de7b6f4be0247992b Mon Sep 17 00:00:00 2001 From: ericmarin Date: Mon, 9 Mar 2026 15:15:41 +0100 Subject: thesis structure --- chapters/background/03-satisfiability-modulo-theories.tex | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 chapters/background/03-satisfiability-modulo-theories.tex (limited to 'chapters/background/03-satisfiability-modulo-theories.tex') diff --git a/chapters/background/03-satisfiability-modulo-theories.tex b/chapters/background/03-satisfiability-modulo-theories.tex new file mode 100644 index 0000000..b2c1416 --- /dev/null +++ b/chapters/background/03-satisfiability-modulo-theories.tex @@ -0,0 +1,4 @@ +\section{Satisfiability Modulo Theories} +\label{sec:satisfiability-modulo-theories} + +% This section introduces Satisfiability Modulo Theories -- cgit v1.2.3