Further Shortening

Author: thomasWeise

part_maxSatExample.tex

@@ -84,7 +84,7 @@ \section{Example: \maxSat}%
 \end{center}%
 }%
 \item<3-> We pick the first ten instances from each set, i.e., test 100 instances in total%
-\item<4-> All instances are satisfiable%
+%\item<4-> All instances are satisfiable%
 %\item<5-> The problem instances have the following features\uncover<6->{:%
 %\begin{itemize}%
 %\item \maxSatVariables: the number of variables%