### Table 2 Real-world problems.

"... In PAGE 9: ... These problems represent (a) scheduling and bounded model checking for timed automata, (b) verification of hardware models, including a load-store unit and an out-of-order execution unit. Consider Table2 : we compare TSAT++ (full IS(2) preprocessing, prime implicants reduction and detection of the smallest reason for the post-office problem and early-pruning plus smallest reason for the others), SEP without conjunction matrix and MathSAT, on the biggest problems SEP could tackle, found in either category. In category (b) variables are restricted to take integer values, and MathSAT has been excluded from the comparison.... ..."

### Table 4. Classi cation numbers of the real-world problems

2004

"... In PAGE 17: ... But notice that even this data set is not yet a complete practical scenario. The real-world instances are described in Table4 . Notice that two lines, which shall be synchronized to a frequency of T 2 are synchronized explicitly at Table 4.... ..."

Cited by 2

### Table 1. Average results for real-world problems.

2003

"... In PAGE 5: ... For all problems the domain size was equal to 44. The results for the tests are depicted in Table1 . Due to space-re- strictions the results for MAC-2001 have been omitted.... ..."

Cited by 1

### Table 4. Average results for real-world problem RLFAP 5

2004

Cited by 2

### Table 5. Average results for real-world problem RLFAP 11

2004

Cited by 2

### Table 6. Average results for real-world problem GRAPH 14

2004

Cited by 2

### Table 1. Properties of real-world datasets used in the experiments.

2000

"... In PAGE 4: ...The first set of experiments used 11 datasets from UCI Repository, the collection of datasets provided by the ma- chine learninggroupat the University of California at Irvine (Blake amp; Merz, 1998). The characteristics of these datasets are shown in Table1 . Each of these is a problem whose fea- tures are all either numerical or Boolean (0/1) valued.... ..."

Cited by 2

### Table 1. Properties of real-world datasets used in the experiments.

2000

"... In PAGE 4: ...The first set of experiments used 11 datasets from UCI Repository, the collection of datasets provided by the ma- chine learninggroupat the University of California at Irvine (Blake amp; Merz, 1998). The characteristics of these datasets are shown in Table1 . Each of these is a problem whose fea- tures are all either numerical or Boolean (0/1) valued.... ..."

Cited by 2