This is pdfTeX, Version 3.141592-1.40.4 (MiKTeX 2.6) (preloaded format=cslatex 2007.10.30)  7 JAN 2008 09:39
entering extended mode
**Bak.tex
(Bak.tex
LaTeX2e <2005/12/01>
Loading CZ hyphenation patterns: Pavel Sevecek, v3, 1995
Loading SK hyphenation patterns: Jana Chlebikova, 1992
("D:\Program Files\MiKTeX 2.6\tex\latex\base\report.cls"
Document Class: report 2005/09/16 v1.4f Standard LaTeX document class
("D:\Program Files\MiKTeX 2.6\tex\latex\base\size12.clo"
File: size12.clo 2005/09/16 v1.4f Standard LaTeX file (size option)
)
\c@part=\count79
\c@chapter=\count80
\c@section=\count81
\c@subsection=\count82
\c@subsubsection=\count83
\c@paragraph=\count84
\c@subparagraph=\count85
\c@figure=\count86
\c@table=\count87
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
("D:\Program Files\MiKTeX 2.6\tex\latex\graphics\graphicx.sty"
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

("D:\Program Files\MiKTeX 2.6\tex\latex\graphics\keyval.sty"
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks16
)
("D:\Program Files\MiKTeX 2.6\tex\latex\graphics\graphics.sty"
Package: graphics 2006/02/20 v1.0o Standard LaTeX Graphics (DPC,SPQR)

("D:\Program Files\MiKTeX 2.6\tex\latex\graphics\trig.sty"
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
("D:\Program Files\MiKTeX 2.6\tex\latex\00miktex\graphics.cfg"
File: graphics.cfg 2007/01/18 v1.5 graphics configuration of teTeX/TeXLive
)
Package graphics Info: Driver file: dvips.def on input line 90.

("D:\Program Files\MiKTeX 2.6\tex\latex\graphics\dvips.def"
File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
))
\Gin@req@height=\dimen103
\Gin@req@width=\dimen104
)
("D:\Program Files\MiKTeX 2.6\tex\latex\base\inputenc.sty"
Package: inputenc 2006/05/05 v1.1b Input encoding file
\inpenc@prehook=\toks17
\inpenc@posthook=\toks18

("D:\Program Files\MiKTeX 2.6\tex\latex\base\cp1250.def"
File: cp1250.def 2006/05/05 v1.1b Input encoding file
))
("D:\Program Files\MiKTeX 2.6\tex\csplain\base\czech.sty"
Package: czech 2002/07/19 v2.4 CSTeX czech style
)
("D:\Program Files\MiKTeX 2.6\tex\latex\tools\indentfirst.sty"
Package: indentfirst 1995/11/23 v1.03 Indent first paragraph (DPC)
)
("D:\Program Files\MiKTeX 2.6\tex\latex\rotating\rotating.sty"
Package: rotating 1997/09/26 v2.13 Rotation package

("D:\Program Files\MiKTeX 2.6\tex\latex\base\ifthen.sty"
Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC)
)
\c@r@tfl@t=\count88
\rot@float@box=\box26
)
\c@example=\count89
\c@proposition=\count90
 (Bak.aux)
LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 21.
LaTeX Font Info:    ... okay on input line 21.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 21.
LaTeX Font Info:    ... okay on input line 21.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 21.
LaTeX Font Info:    ... okay on input line 21.
LaTeX Font Info:    Checking defaults for IL2/cmr/m/n on input line 21.
LaTeX Font Info:    ... okay on input line 21.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 21.
LaTeX Font Info:    ... okay on input line 21.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 21.
LaTeX Font Info:    ... okay on input line 21.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 21.
LaTeX Font Info:    ... okay on input line 21.
File: pics/LogoK336.eps Graphic file (type eps)

<pics/LogoK336.eps> [1

] [2

]
LaTeX Font Info:    Try loading font information for OMS+cmr on input line 55.

("D:\Program Files\MiKTeX 2.6\tex\latex\base\omscmr.fd"
File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
)
LaTeX Font Info:    Font shape `OMS/cmr/m/n' in size <12> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 55.
 [3] [4

] [1] [2

]
(Bak.toc
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 5.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 5.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 5.
 [3

])
\tf@toc=\write3
 [4] (Bak.lof)
\tf@lof=\write4
 [5


] [6

] (Bak.lot)
\tf@lot=\write5
 [7

] [8

]
Kapitola 1.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 95.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 95.

Underfull \vbox (badness 10000) has occurred while \output is active []

 [1

]
[2]
Kapitola 2.
[3

]
Underfull \vbox (badness 1082) has occurred while \output is active []

 [4]
[5] [6]
File: pics/tree.png Graphic file (type eps)
 <pics/tree.png> [7]
LaTeX Font Info:    Try loading font information for IL2+cmtt on input line 209
.

("D:\Program Files\MiKTeX 2.6\tex\latex\cslatex\il2cmtt.fd"
File: il2cmtt.fd 1997/08/20 CSLaTeX font definitions
) [8]
File: pics/bdd.png Graphic file (type eps)

<pics/bdd.png> [9] [10] [11] [12]
File: pics/locsearch.png Graphic file (type eps)
 <pics/locsearch.png> [13] [14] [15]
File: pics/2watch.png Graphic file (type eps)

<pics/2watch.png> [16]
File: pics/UIP.png Graphic file (type eps)
 <pics/UIP.png> [17] [18]
Overfull \hbox (12.87196pt too wide) in paragraph at lines 398--399
[][]\IL2/cmr/m/n/12 Jedná se o zjed-no-du-šený al-go-ritmu VSIDS,
 []

[19]
Overfull \hbox (3.04758pt too wide) in paragraph at lines 411--427
 [][][] 
 []

[20] Adding sideways figure on  left hand page
Overfull \hbox (18.59177pt too wide) in paragraph at lines 467--468
[][]\IL2/cmr/m/n/12 EBDDRES po-u-žívá k ur-čení spl-ni-tel-nosti for-mule bi-ná
rní roz-ho-do-vací di-a-gramy ROBDD,
 []

[21] [22] Adding sideways figure on  left hand page [23] [24] [25] [26]
Kapitola 3.
[27

]
File: pics/BDD_dc1.png Graphic file (type eps)
 <pics/BDD_dc1.png>
File: pics/BDD_dc2.png Graphic file (type eps)
 <pics/BDD_dc2.png> [28]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [29]
Underfull \vbox (badness 3657) has occurred while \output is active []

 [30]
Overfull \hbox (2.81679pt too wide) in paragraph at lines 681--682
\IL2/cmr/m/n/12 fliktní klau-zule. Dále funkce [] na-sta-vuje hod-notu pře-pí-n
ače \IL2/cmtt/m/n/12 assumeUIP
 []

[31] [32] [33] [34] [35] [36

]
Kapitola 4.
[37

] [38

] (Bak.bbl [39

]) [40]
P\v {r}\'{\i }loha A.
[41


] [42]
P\v {r}\'{\i }loha B.
File: pics/cdtree.png Graphic file (type eps)
<pics/cdtree.png>
Overfull \hbox (6.3769pt too wide) in paragraph at lines 884--885
[][]\IL2/cmr/m/n/12 Tento ad-re-sář ob-sa-huje ar-chív se zkom-pi-lo-va-ným pro
-gra-mem dcsat.exe a knihov-
 []

[43

] [44] (Bak.aux) ) 
Here is how much of TeX's memory you used:
 1024 strings out of 95159
 11075 string characters out of 1183489
 72110 words of memory out of 1059614
 4236 multiletter control sequences out of 60000
 17063 words of font info for 42 fonts, out of 1000000 for 2000
 24 hyphenation exceptions out of 8191
 25i,12n,22p,1132b,265s stack positions out of 5000i,500n,10000p,200000b,32768s

Output written on Bak.dvi (56 pages, 162428 bytes).
