Changeset 126 for liacs/SCA2010/BDD/report.tex

Timestamp:

Jun 20, 2010, 2:55:28 PM (14 years ago)

Author:

Rick van der Zwet

Message:

Initial framework to play around with BDD reports

File:

• liacs/SCA2010/BDD/report.tex (modified) (2 diffs)

liacs/SCA2010/BDD/report.tex

@@ -15 +15 @@
 
 \author{Rick van der Zwet, Universiteit Leiden}
-\title{XXX \\
-\large{XXX}}
+\title{BDD synthese}
 \author{Rick van der Zwet\\
-  \texttt{<hvdzwet@liacs.nl>}\\
-  \\
-  LIACS\\
-  Leiden University\\
-  Niels Bohrweg 1\\
-  2333 CA Leiden\\
-  The Netherlands}
+  \texttt{<hvdzwet@liacs.nl>}}
 \date{\today}
 
@@ -32 +25 @@
 
 \section{Inleiding}
-\section{Uitleg probleem}
-\section{Theorie}
-\section{Aanpak}
-\section{Implementatie}
-\section{Experimenten}
-\section{Conclusie}
-\begin{thebibliography}{10}
+Samenvoegen van een Binary Decision Diagram \emph{BDD} is het meest belangrijke
+\emph{BDD} algoritme~\cite[pp 86]{DK2009}. Welke in essentie een \emph{BDD}
+functie,$f$, pakt en deze combineert met een andere \emph{BDD} functie,$g$,
+zodanig dat er een nieuwe \emph{BDD} ontstaat voor de nieuwe functie.
+In sectie~\ref{werking} zal deze techniek uitgelegd worden, welke in
+sectie~\ref{voorbeeld} dit toegepast zal worden als concreet voorbeeld.
+
+\section{Samenvoegen}
+\label{werking}
+XXX: TODO
+
+\section{Voorbeeld}
+XXX: TODO
+\label{voorbeeld}
+
+\begin{thebibliography}{}
+\bibitem[DK2009]{DK2009} D.E. Knuth. Fascicle 1. \texttt{Bitwise Tricks \&
+Techniques; Binary Decision Diagrams}, volume 4 of \texttt{The Art of Computer
+Programming}. Pearson Education, first edition, March 2009.
 \end{thebibliography}
-\newpage
-% \advance\textwidth by 8cm
-% \advance\oddsidemargin by -3cm
-% \advance\evensidemargin by -3cm
-% \advance\topmargin by -2cm
-% \advance\textheight by 4cm
-% \advance\footskip by -4cm
-% \marginparwidth 0cm
-% \twocolumn
-% \section*{Appendix}
-% De NN code en pre-parse.pl code  zagen er als volgt uit:
-% \newline
-% \tiny
-% %preformatted with `source-highlight -n -f latex bridge.cc`
-% \input{nn.c}
-% \input{data/pre-parse.pl}
-% \onecolumn
-
 \end{document}