Changeset 132 for liacs/SCA2010/BDD

Timestamp:

Jun 26, 2010, 4:34:59 PM (15 years ago)

Author:

Rick van der Zwet

Message:

Going for dinner

File:

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

liacs/SCA2010/BDD/report.tex

@@ -96 +96 @@
 $B(f)B(g)$ knopen in geheugen gehouden moet wordt zal dit problemen opleveren
 bij kleine en grotere algoritmen. Om deze ineffientie aan te pakken is
-algoritme $S$ \footnote{Algoritme $S$ wordt niet in deze samenvatting gehandeld de vakwebsite~\ref{SCA2010} heeft wel een verwijzing van de samenvatting van dit algoritme} ontworpen.
+algoritme $S$ \footnote{Algoritme $S$ wordt niet in deze samenvatting gehandeld
+de vakwebsite~\cite{SCA2010} heeft een verwijzing van de samenvatting van dit
+algoritme} ontworpen.
 
 
@@ -104 +106 @@
 \subsection{Product groei in synthese van \emph{BDD}}
 \label{voorbeeldSamenvoegen}
-XXX: Ex 60
+Het volgende voorbeeld is een uitwerking van opgave 60~\cite[pg. 130]{DK2009}
+de offi\"{e}le uitwerking is te vinden op pagina 160~\cite{DK2009}
+
+Neem aan dat $f(x_{1},...,x_{n})$ en $g(x_{1},...,x_{n})$ de respectieve
+\emph{profielen} (\emph{profiles})~\cite[pg 101]{DK2009} $(b_{0},...,b_{n}$ en
+$(b'_{0},...,b_{n}$ hebben. En de respectieve \emph{quasi-profielen}
+(\emph{quasi-profiles})~\cite[pg 103]{DK2009} $(q_{0},...,q_{n})$ en
+$(q'_{0},...,q'_{n})$.
+
+
 \subsection{Som groei in synthese van \emph{BDD}}
 \label{voorbeeldPlakken}
-XXX: Ex 63
+Het volgende voorbeeld is een uitwerking van opgave 63~\cite[pg. 131]{DK2009}
+de offi\"{e}le uitwerking is te vinden op pagina 160~\cite{DK2009}
+
+
 
 \begin{thebibliography}{}