www-ai.cs.tu-dortmund.de/PublicPublicationFiles/rieger_96h.pdf
ls8-report-20.dvi
c/5
d/5
a/5
b/5
a/5
b/5
c/5
d/5
b/5
c/5
d/5
a/5
b/5
a/5
b/5
c/5
d/5
b/5
c/5
d/5
a/5
b/5
a/5
b/5
c/5
d/5
1
1
1
1
2
2
2
p3(t1,s5,1,17) p4(t1,s5,8,17)
Figure 5: Example 1
In Lemma 2, we have shown, that for [...] p2(t1,s5,1,15) p1(t1,s5,1,15)
a(t1,90,s5,1,8)
Input:
d(t1,90,s5,15,17)c(t1,90,s5,10,15)b(t1,90,s5,8,10)
p3(t1,s5,1,17)
c/5
d/5
a/5
b/5
a/5
b/5
c/5
d/5
b/5
c/5
d/5
a/5
b/5
a/5
b/5
c/5
d/5
b/5
c/5
d/5
a/5
b/5 [...] b/5
a/5
b/5
d/5
b/5
c/5
d/5
a/5
b/5
a/5
b/5
c/5
d/5
b/5
c/5
1
2
2
2
1
Output: p4(t1,s5,8,17)
Figure 20: Example 2
66 A APPENDIX
A.5 Post-Processing: Experimental Results
A.5.1 Complexity Results
No Po …
