Commit c6aec00e authored by Martin Jonáš's avatar Martin Jonáš
Browse files

Include SAT paper

parent 78e768e2
......@@ -3,10 +3,10 @@
% ************************************************
During the last decades, the area of \emph{satisfiability modulo
theories} (\smt)~\cite{BSST09} has undergone steep development in
both theory and practice. Achieved advances of \smt solving opened new
research directions in program analysis and verification, where \smt
solvers are now seen as standard tools.
theories} (\smt) has undergone steep development in both theory and
practice. Achieved advances of \smt solving opened new research
directions in program analysis and verification, where \smt solvers
are now seen as standard tools.
The task for an \smt solver is to decide for a given first-order
formula in a given first-order theory whether the formula is
......
......@@ -103,6 +103,7 @@
%\include{Chapters/ChapterA1}
\include{Chapters/ChapterA2}
\include{Chapters/ChapterA3}
% \include{Chapters/Chapter0A}
%********************************************************************
% Other Stuff in the Back
......
......@@ -300,3 +300,5 @@
%\usepackage[default,osfigures]{opensans} % scale=0.95
%\usepackage[sfdefault]{FiraSans}
% ****************************************************************************************************
\usepackage[final]{pdfpages}
\ No newline at end of file
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment