%PDF-1.6
%
2225 0 obj
<>
endobj
2224 0 obj
<>
endobj
2254 0 obj
<>stream
2012-06-13T15:18:12+02:00
LaTeX with beamer class version 3.07
2012-06-13T15:26:30+02:00
2012-06-13T15:26:30+02:00
application/pdf
Holger H. Hoos
Meta-algorithmic techniques in SAT solving: Automated configuration, selection and beyond
pdfTeX-1.40.10
False
This is MiKTeX-pdfTeX 2.8.3563 (1.40.10)
uuid:e3f554aa-d6ee-4a48-8c81-0cc1ab038a8b
uuid:7a5c427b-b992-47ad-822d-66d7eec742e6
endstream
endobj
2227 0 obj
<>/Encoding<>>>>>
endobj
2167 0 obj
<>
endobj
8 0 obj
<>
endobj
9 0 obj
<>/Resources 10 0 R/Type/Page>>
endobj
17 0 obj
<>
endobj
11 0 obj
<>stream
xڽSn0+x[dovGX==2m# DS.8EDÂC _!CМ/8a\ޣ`<,by,b9*sKlPC.w}&TY.tmx)Y~FRC5YAtu,e
N]ÇIV״EKkP&Cbڛ.;Ws$a[ ƀ1J,l@µ4H]}=ɈrY
"(s,iXRۦ%%RsH=;ѿ[gƷ1Qvr T1')3Ay}:atC
.
jUYu;7{~&ak4
\s
o ,\ndfh8ZQpQ&z9{IO19ǜ2zՀD4<+
endstream
endobj
10 0 obj
<>/ProcSet[/PDF/Text]/ExtGState 1 0 R/Pattern 2 0 R>>
endobj
3 0 obj
<>
endobj
1 0 obj
<<>>
endobj
2 0 obj
<<>>
endobj
14 0 obj
<>
endobj
13 0 obj
<>
endobj
15 0 obj
<>
endobj
2138 0 obj
<>
endobj
2122 0 obj
[569.5 569.5 864.6 864.6 253.5 283 531.3 531.3 531.3 531.3 531.3 708.3 472.2 510.4 767.4 826.4 531.3 914.9 1033 826.4 253.5 336.8 531.3 885.4 531.3 885.4 805.6 295.1 413.2 413.2 531.3 826.4 295.1 354.2 295.1 531.3 531.3 531.3 531.3 531.3 531.3 531.3 531.3 531.3 531.3 531.3 295.1 295.1 336.8 826.4 501.7 501.7 708.3 708.3 708.3 678.8 767.4 637.2 607.6 708.3 750 295.1 501.7 737.9 578.1 927.1 750 784.7 678.8 784.7 687.5 590.3 725.7 729.2 708.3 1003.5 708.3 708.3 649.3 309 531.3 309 531.3 295.1 295.1 510.4 548.6 472.2 548.6 472.2 324.7 531.3 548.6 253.5 283 519.1 253.5 843.8 548.6 531.3 548.6 548.6 362.9 407.3 383.7 548.6 489.6 725.7 489.6 489.6 461.8 531.3 1062.5 531.3 531.3 531.3]
endobj
2137 0 obj
<>stream
xڍTS"ݝCwtt C
ݥt7!ҭ~syk}b-k=QkIXA,;@JESN N
0rAenP; pq qr99kqH{ * EB'qvغA#ђ %((;@4TlЌ M%?!Elܜ88<==]!.6bL O-@
t Zjj3v:-&
@@+lt@4jN@?
p+%
A@2+l+oar0]9@V
st9j0PeVRGG A.@K(LXV5aġ
9c |8 @g ҖZN:A & k S`tX m@`ѡb?:|{\ ο~d]/+Q}cO$%!^ _6~> 7' 0S
`k@N T!]'%moAA1,T _S]?;_9<$6ryAn
!6 6.N=
* 7bq]\̽Q">/B^6q !.(M,A H !pHF 'C7pF ߈A+Fʿ4oͮA^AFo~#hv]7phFZ#h-:ZH3qA+3.пdzZFP/Tg q%IḸUX.@Wߕ@%S殶8A)@c=?wt^(˶N@Pme7;?P C!V[
}IֿI~pB.hS'M
tXz4+u;tfsBn.?臖 JʞZB7OyX@p ݞ_@ee b)j^ԓmoqk'*Q(ύsl9gI3%?RS^Fs6`dv%/يFRXAHl2v/ސc"2.= q=0<8JoI${Nbhwq\3ݵb@]wYc#2x+
ׄ(R''*KHU$FV}Aba
X1{1( u
(O^Se>ӣLeZE߈NROco0XLB;b
%0,M'<A]\z/UO}kU V
SK3S;db2C&p]ݗɕ_=[ZƳEBVAT{E25EFqZ^PT[+~[ٝs?o[k^㧏3̗<п./%L^*[ʙjR)3)/o"Zk_)4}߲:="Jx'tx{Ƌ@Rl1{Z-G"b(2+eDQ8UZj~m.A^.%j71<_1yb,0UIYO)T-F[iF$sպc
4]3`6ҼY
c,%fĐ)+bylID!'_5ǒڄ38>Η|in*!aE> ܶr;̓4ƟwTޕLFHNن\WTm9[\,]n(%/|wYv: #k4NWb{4j+&&28P=ҭڲMeٲl+{WOUA)2omqBM+Z9d=Z隯0Zc=l=
Ϊp5D1kdofOXZ۰۵?Hx2e<#7DX"]JVY\[q(p} ؙ٭4yy~`G ƞhr9d
*gZn[[W?$%$Gq:6Ȭ&m7c.7s ;"iN.HP_tȃxx^]߷Q壛|(?4>`Vф>9\EfGgtE{Wvi#++;}cha$a*^YŶ"ǭκ)o;j7kZ
幱Ob}"NIsPX(vm.˯