Changeset 126 for liacs/SCA2010/BDD


Ignore:
Timestamp:
Jun 20, 2010, 2:55:28 PM (15 years ago)
Author:
Rick van der Zwet
Message:

Initial framework to play around with BDD reports

File:
1 edited

Legend:

Unmodified
Added
Removed

  • liacs/SCA2010/BDD/report.tex

    r2 r126  
    1515
    1616\author{Rick van der Zwet, Universiteit Leiden}
    17 \title{XXX \\
    18 \large{XXX}}
     17\title{BDD synthese}
    1918\author{Rick van der Zwet\\
    20   \texttt{<hvdzwet@liacs.nl>}\\
    21   \\
    22   LIACS\\
    23   Leiden University\\
    24   Niels Bohrweg 1\\
    25   2333 CA Leiden\\
    26   The Netherlands}
     19  \texttt{<hvdzwet@liacs.nl>}}
    2720\date{\today}
    2821
    … …  
    3225
    3326\section{Inleiding}
    34 \section{Uitleg probleem}
    35 \section{Theorie}
    36 \section{Aanpak}
    37 \section{Implementatie}
    38 \section{Experimenten}
    39 \section{Conclusie}
    40 \begin{thebibliography}{10}
     27Samenvoegen van een Binary Decision Diagram \emph{BDD} is het meest belangrijke
     28\emph{BDD} algoritme~\cite[pp 86]{DK2009}. Welke in essentie een \emph{BDD}
     29functie,$f$, pakt en deze combineert met een andere \emph{BDD} functie,$g$,
     30zodanig dat er een nieuwe \emph{BDD} ontstaat voor de nieuwe functie.
     31In sectie~\ref{werking} zal deze techniek uitgelegd worden, welke in
     32sectie~\ref{voorbeeld} dit toegepast zal worden als concreet voorbeeld.
     33
     34\section{Samenvoegen}
     35\label{werking}
     36XXX: TODO
     37
     38\section{Voorbeeld}
     39XXX: TODO
     40\label{voorbeeld}
     41
     42\begin{thebibliography}{}
     43\bibitem[DK2009]{DK2009} D.E. Knuth. Fascicle 1. \texttt{Bitwise Tricks \&
     44Techniques; Binary Decision Diagrams}, volume 4 of \texttt{The Art of Computer
     45Programming}. Pearson Education, first edition, March 2009.
    4146\end{thebibliography}
    42 \newpage
    43 % \advance\textwidth by 8cm
    44 % \advance\oddsidemargin by -3cm
    45 % \advance\evensidemargin by -3cm
    46 % \advance\topmargin by -2cm
    47 % \advance\textheight by 4cm
    48 % \advance\footskip by -4cm
    49 % \marginparwidth 0cm
    50 % \twocolumn
    51 % \section*{Appendix}
    52 % De NN code en pre-parse.pl code  zagen er als volgt uit:
    53 % \newline
    54 % \tiny
    55 % %preformatted with `source-highlight -n -f latex bridge.cc`
    56 % \input{nn.c}
    57 % \input{data/pre-parse.pl}
    58 % \onecolumn
    59 
    6047\end{document}
Note: See TracChangeset for help on using the changeset viewer.