%PDF-1.4
%
4 0 obj
<< /S /GoTo /D (chapter*.4) >>
endobj
7 0 obj
(Introduction)
endobj
8 0 obj
<< /S /GoTo /D (section*.5) >>
endobj
11 0 obj
(Motivation)
endobj
12 0 obj
<< /S /GoTo /D (section*.5) >>
endobj
14 0 obj
(Aim of the Work)
endobj
15 0 obj
<< /S /GoTo /D (section*.5) >>
endobj
17 0 obj
(Results of the Master's Thesis)
endobj
18 0 obj
<< /S /GoTo /D (section*.5) >>
endobj
20 0 obj
(Structure of the Master's Thesis)
endobj
21 0 obj
<< /S /GoTo /D (section*.5) >>
endobj
23 0 obj
(The Shift Design Problem)
endobj
24 0 obj
<< /S /GoTo /D (section*.6) >>
endobj
27 0 obj
(Basic Concepts of Workforce Scheduling)
endobj
28 0 obj
<< /S /GoTo /D (section*.17) >>
endobj
31 0 obj
(Problem Statement of the Shift Design Problem)
endobj
32 0 obj
<< /S /GoTo /D (section*.17) >>
endobj
34 0 obj
(Answer Set Programming \(ASP\))
endobj
35 0 obj
<< /S /GoTo /D (section*.18) >>
endobj
38 0 obj
(Architecture)
endobj
39 0 obj
<< /S /GoTo /D (figure.3.1) >>
endobj
42 0 obj
(Methodology)
endobj
43 0 obj
<< /S /GoTo /D (figure.3.1) >>
endobj
45 0 obj
(Terminology)
endobj
46 0 obj
<< /S /GoTo /D (section*.22) >>
endobj
49 0 obj
(Semantics)
endobj
50 0 obj
<< /S /GoTo /D (definition.3.4.8) >>
endobj
53 0 obj
(Programming Environment)
endobj
54 0 obj
<< /S /GoTo /D (definition.3.4.8) >>
endobj
56 0 obj
(Differences between clasp and unclasp)
endobj
57 0 obj
<< /S /GoTo /D (definition.3.4.8) >>
endobj
59 0 obj
(Related Work)
endobj
60 0 obj
<< /S /GoTo /D (section*.23) >>
endobj
63 0 obj
(The Shift Design Problem and Related Problems)
endobj
64 0 obj
<< /S /GoTo /D (section*.23) >>
endobj
66 0 obj
(Applications based on ASP)
endobj
67 0 obj
<< /S /GoTo /D (section*.23) >>
endobj
69 0 obj
(Solving the Shift Design Problem)
endobj
70 0 obj
<< /S /GoTo /D (section*.24) >>
endobj
73 0 obj
(A Small Example)
endobj
74 0 obj
<< /S /GoTo /D (figure.5.2) >>
endobj
77 0 obj
(Common Knowledge Base)
endobj
78 0 obj
<< /S /GoTo /D (section*.32) >>
endobj
81 0 obj
(Exact Solution with Known Optimal Shift Count)
endobj
82 0 obj
<< /S /GoTo /D (section*.46) >>
endobj
85 0 obj
(Exact Solution with Unknown Optimal Shift Count)
endobj
86 0 obj
<< /S /GoTo /D (section*.48) >>
endobj
89 0 obj
(Flexible Solution with Unknown Optimal Shift Count)
endobj
90 0 obj
<< /S /GoTo /D (section*.60) >>
endobj
93 0 obj
(Evaluation of Empirical Results)
endobj
94 0 obj
<< /S /GoTo /D (section*.61) >>
endobj
97 0 obj
(Problem Instances)
endobj
98 0 obj
<< /S /GoTo /D (section*.65) >>
endobj
101 0 obj
(Experimental Setting)
endobj
102 0 obj
<< /S /GoTo /D (table.6.2) >>
endobj
105 0 obj
(Computational Results for DataSet1 and DataSet2)
endobj
106 0 obj
<< /S /GoTo /D (figure.6.3) >>
endobj
109 0 obj
(Computational Results for DataSet3 and DataSet4)
endobj
110 0 obj
<< /S /GoTo /D (table.6.1) >>
endobj
113 0 obj
(Comparison with Previous Results)
endobj
114 0 obj
<< /S /GoTo /D (table.6.2) >>
endobj
116 0 obj
(Summary of the Experiments)
endobj
117 0 obj
<< /S /GoTo /D (table.6.2) >>
endobj
119 0 obj
(Conclusion and Future Work)
endobj
120 0 obj
<< /S /GoTo /D (section*.66) >>
endobj
123 0 obj
(Summary)
endobj
124 0 obj
<< /S /GoTo /D (section*.66) >>
endobj
126 0 obj
(Future Work)
endobj
127 0 obj
<< /S /GoTo /D (section*.66) >>
endobj
129 0 obj
(ASP-Implementations for Shift Design)
endobj
130 0 obj
<< /S /GoTo /D (section*.67) >>
endobj
133 0 obj
(Program ``Exact1'')
endobj
134 0 obj
<< /S /GoTo /D (section*.67) >>
endobj
136 0 obj
(Program ``Exact2'')
endobj
137 0 obj
<< /S /GoTo /D (section*.67) >>
endobj
139 0 obj
(Program ``Flexible'')
endobj
140 0 obj
<< /S /GoTo /D (section*.69) >>
endobj
143 0 obj
(Bibliography)
endobj
144 0 obj
<< /S /GoTo /D [145 0 R /Fit ] >>
endobj
149 0 obj <<
/Length 1020
/Filter /FlateDecode
>>
stream
xڝUMs6W%oɵǒC+A$ÚwA2#۷v
W(bFc#
RK&f.H#ro4dcMǜ7k)1?34@,2Osb8ŇOyj(GOψ1c#Be_O"
&o X BH}A_CO4(G d[!ܖ.oija%T
Y^TNhDqyFTac*]P|qurv}6_N(R7*BBN]Xs4w5mml>wfI[/ m(#̔Hܧ,\8pXjB3Ƈ,zﳎeUo:I5F
muwInmtIye쾮8pOѾ&GxQ`ZEev
c he
K5 ]WmE;g'βo$bsMIi𨒘SH zs{!O7eBRv] wuZr!|[E)
8,Φ#
#}I#-ʤKbq,>?Uak~t_+C)ط¥;&N/NW׳cifOYtVY^,n~Ui[
I`cʛU[Sa$rM760|0qnj\'ʝE)ZBW?pmQ5 m8J`%ܸm vumU02ʼ༊H2ҕD8)L$(zf9ZpD;͠
2 k7Fh( 4e:a
kbo_?&4@F0&^+!鯂44łӟJX1PӪxO]G
endstream
endobj
145 0 obj <<
/Type /Page
/Contents 149 0 R
/Resources 148 0 R
/MediaBox [0 0 595.276 841.89]
/Parent 155 0 R
>> endobj
146 0 obj <<
/Type /XObject
/Subtype /Form
/FormType 1
/PTEX.FileName (./figures/titlepage/dokumentenkopf__klein.pdf)
/PTEX.PageNumber 1
/PTEX.InfoDict 156 0 R
/BBox [0 0 511 47]
/Resources <<
/ProcSet [ /PDF ]
/ExtGState <<
/Gs1 157 0 R
/Gs2 158 0 R
>>>>
/Length 219
/Filter /FlateDecode
>>
stream
x]PIn1|ś^sN} iT1")Yw\q+0UJ{;~py{>x`\}N?1
on0iļQ$cʮ^20Y8JkȊ`T
M51τH:CyïLst `}f5gI}lu/![8
endstream
endobj
156 0 obj
<<
/Producer 159 0 R
/CreationDate 160 0 R
/ModDate 160 0 R
>>
endobj
157 0 obj
<<
/Type /ExtGState
/SM 0.02
>>
endobj
158 0 obj
<<
/Type /ExtGState
/OPM 1
>>
endobj
159 0 obj
(Mac OS X 10.6.2 Quartz PDFContext)
endobj
160 0 obj
(D:20100211143658Z00'00')
endobj
147 0 obj <<
/Type /XObject
/Subtype /Form
/FormType 1
/PTEX.FileName (./figures/titlepage/INF_Logo_typo_grau.pdf)
/PTEX.PageNumber 1
/PTEX.InfoDict 161 0 R
/BBox [0 0 171 46]
/Resources <<
/ProcSet [ /PDF ]
/ExtGState <<
/Gs1 162 0 R
/Gs2 163 0 R
>>>>
/Length 5748
/Filter /FlateDecode
>>
stream
xmI,Inq
_ky8AkxP'}$#S(U64NFa|02{k?o[f[=k
=W5\{?φ},۰2i[:|obf㺶eƶzm|oaޖcI ^2äV(?b!|oCZYU]8W%])$ \Ƃj!0BSfTYK\uꃿa?9rWǶ6%>ap7!T}tb^'=/5Za Zغ5,{^yrk$0,~l?0^Y{_
/7ɒ:er:BW+F$)_)__9Vp`el 1Ɇ 5n%
3H
1僊`oZo¦}Pܤkb:vt_#
FnBj
y.ZOhhqЁX=}ܥrݴ{xFN3o=5u7D!=_OcgTv4ك3ttPi(U?H