1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
S00 NoSelection
S0S SelectComplexG
S0U SelectComplexExceptRRHorn
S0V PSelectComplexExceptRRHorn
S0Y SelectMaxLComplexAvoidPosPred
S2S SelectMaxLComplexAvoidPosPred
S0a SelectNegativeLiterals
S0e SelectLargestNegLit
S0i SelectDiffNegLit
S1S SelectComplexAHP
S1U SelectComplexAHPExceptRRHorn
S1Y SelectVGNonCR
S2R SelectNewComplex
S2S SelectNewComplex
S2S SelectNewComplexAHP
S2U SelectNewComplexAHPExceptRRHorn
S2V PSelectNewComplexAHPExceptRRHorn
S3S SelectNewComplexAHPExceptUniqMaxHorn
S3T PSelectNewComplexAHPExceptUniqMaxHorn
S4S SelectNewComplexAHPNS
SNG NoGeneration
# SOV PSelectComplexExceptRRHorn
2a SelectCQArEqLast
2b SelectCQArEqFirst
2c SelectCQIArEqLast
2d SelectCQIArEqFirst
2e SelectCQAr
2f SelectCQIAr
2g SelectCQArNpEqFirst
2h SelectCQIArNpEqFirst
2i SelectGrCQArEqFirst
2j SelectCQGrArEqFirst
2k SelectCQArNTEqFirst
2l SelectCQIArNTEqFirst
2m SelectCQArNTNpEqFirst
2n SelectCQIArNTNpEqFirst
2o SelectCQArNXTEqFirst
2p SelectCQIArNXTEqFirst
2q SelectCQArNTNp
2r SelectCQIArNTNp
2s SelectCQArNT
2t SelectCQIArNT
2u SelectCQArNp
2v SelectCQIArNp
PureVarLit vorziehen
Use ordering weight (if there)
Arity ohne CQ ausprobieren!
3a SelectCQArNpEqFirstUnlessPDom
3b SelectCQArNTEqFirstUnlessPDom
4a SelectCQPrecW
4b SelectCQIPrecW
4c SelectCQPrecWNTNp
4d SelectCQIPrecWNTNp
4Y SelectMaxLComplexAPPNTNp
|
