Added Section on MAX SAT Example

Author: thomasWeise

bibliography/bibliography.bib

@@ -84,9 +84,11 @@ @article{A1992ASOEIFCT
 
 @book{A1992EPFFS,
   title = {Encapsulated PostScript File Format Specification},
+  author = {{Adobe Developer Support}},
   edition = {Version 3.0},
-  institution = {San Jos{\'{e}}, CA, USA: Adobe Systems Incorporated, Adobe Developer Support},
-  number = {Tech Note {\#}5002},
+  publisher = {San Jos{\'{e}}, CA, USA: Adobe Systems Incorporated, Adobe Developer Support},
+  number = {{\#}5002},
+  series = {Tech Note},
   year = {1992},
   month = may # {~1, },
   url = {http://partners.adobe.com/public/developer/en/ps/5002.EPSF\_Spec.pdf},
@@ -20989,7 +20991,7 @@ @book{ISO26324:2012
   year = {2012},
 },
 
-@book{ISO320002008,
+@misc{ISO320002008,
   title = {Document Management {--} Portable Document Format {--} Part 1: PDF 1.7},
   institution = {Geneva, Switzerland: International Organization for Standardization (ISO)},
   number = {ISO 32000-1:2008},
@@ -30271,10 +30273,10 @@ @inproceedings{MIKN1997ATCEBMOTMBTGA
   year = {1997},
 },
 
-@book{MIKTEX,
+@misc{MIKTEX,
   author = {Christian Schenk},
   title = {MiKTEX {\dots}typesetting beautiful documents{\dots}},
-  year = {2013},
+  year = {2016},
   url = {http://miktex.org/},
 },
 
@@ -33465,10 +33467,11 @@ @article{OPCBM2008GBMLSACFPR
 @book{OPHS2011TNSSITLOLI1M,
   author = {Tobias Oetiker and Hubert Partl and Irene Hyna and Elisabeth Schlegl},
   title = {The Not So Short Introduction to LaTeX2\ensuremath{\epsilon} {--} Or LaTeX2\ensuremath{\epsilon} in 157 minutes},
-  edition = {5.01},
-  year = {2011},
-  month = apr # {~6, },
+  edition = {5.05},
+  year = {2015},
+  month = jul # {~18, },
   url = {http://tobi.oetiker.ch/lshort/lshort.pdf},
+  publisher = {self-published},
 },
 
 @article{OR1990SPAMDAINWTDEL,
@@ -48241,7 +48244,7 @@ @book{RFC1945
 },
 
 @book{RFC2083,
-  author = {Thomas Boutell and {et al.} and Philadelphia, PA, USA: Boutell.Com, Inc.},
+  author = {{Thomas Boutell {et al.}} and P{hiladelphia, PA, USA: Boutell.Com, Inc.}},
   title = {PNG (Portable Network Graphics) Specification Version 1.0},
   publisher = {Network Working Group},
   series = {Request for Comments (RFC)},

graphics/flow/flow.cdr

@@ -0,0 +1,22 @@
+1	9806	46
+3	24643	28
+17	106040	25
+19	115529	23
+20	120373	21
+25	144087	18
+31	172967	16
+290	1550118	15
+296	1576034	14
+297	1579525	13
+300	1592492	12
+323	1692189	10
+332	1732127	9
+1082	5436999	8
+1558	7670059	7
+2008	9765759	6
+2024	9830168	5
+2809	13302012	4
+5246	24105640	3
+6330	28508740	2
+17284	73166926	1
+60865	238968738	0

graphics/flow/flow.pdf

@@ -49,7 +49,7 @@
 \input{part_introduction.tex}%
 %
 \input{part_install.tex}%
-%
+\input{part_maxSatExample.tex}%
 \input{part_conclusions.tex}%
 %
 \endPresentation%%

graphics/flow/flow_config_1_config.cdr

@@ -4,7 +4,7 @@ \section{Conclusions}%
 \begin{frame}%
 \frametitle{Conclusions}%
 \begin{itemize}%
-\item I have presented a very first version of the evaluator GUI component of the optimizationBenchmarking framework%
+\item I have presented a very first version of the evaluator GUI component of the \optimizationBenchmarking\ framework%
 \item<2-> It can already load and evaluate performance data from \emph{your} optimization or Machine Learning algorithm%
 \item<3-> It can help \emph{you} to understand what the strengths and weaknesses of \emph{your} algorithm are%
 \item<4-> It produces figures ready for use in \emph{your} publication%
@@ -19,7 +19,7 @@ \section{Conclusions}%
 \frametitle{Future Work: Short-Term}%
 \begin{itemize}%
 \item Add more evaluation modules, to reach the power of TSP~Suite, e.g., add automated algorithm ranking%
-\item<2-> Publicize the use optimizationBenchmarking to our colleagues (citations will come in\dots)%
+\item<2-> Publicize the use \optimizationBenchmarking\ to our colleagues (citations will come in\dots)%
 \item<3-> Position tool as a central quality control utility for optimization and Machine Learning applications%
 \item<4-> Improve features based on feedback%
 \item<5-> Write an overview paper about our system to publish it more widely%

graphics/flow/flow_config_1_config.pdf

@@ -8,7 +8,7 @@ \section{Introduction}%
 \item<2-> When experimenting with such algorithms, we should collect information about how this improvement takes place over time.%
 \item<3-> We should do this over several algorithm setups on several benchmark instances with different features%
 \item<4-> \alert<-5>{How do we evaluate such data\only<-4>{?}\uncover<5->{ and compare the algorithms/setups)?}}%
-\item<6-> The \emph{OptimizationBenchmarking} Framework can do it for you!%
+\item<6-> The \optimizationBenchmarking\ Framework can do it for you!%
 \item<7-> It provides a graphical user interface in a client/server application for loading, editing, and evaluating experimental results.%
 \item<8-> It can run as Docker container under Linux, MacOS, and Windows without needed any additional software (except Docker and a browser).% 
 \item<9-> It produces reports, similar to articles, in \LaTeX\ with figures and building blocks ready for use in your publications%
@@ -161,7 +161,7 @@ \section{Introduction}%
 \item<21-> But this is all \emph{very} cumbersome, involves much work and much data\dots%
 \end{enumerate}%
 }%
-\item<22-> The optimizationBenchmarking framework can automatize much of this work%
+\item<22-> The \optimizationBenchmarking\ framework can automatize much of this work%
 \end{itemize}%
 %
 \locateWithCaption{6}{%