| Title | Date | Type | Setname | ||
|---|---|---|---|---|---|
| 226 |  | psolve: Deciding satisfiability for presburger formulae using automata, rewriting and a model checker | 1999 | Text | ir_uspace |
| 227 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 228 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 229 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 230 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 231 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 232 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 233 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 234 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 235 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 236 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 237 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 238 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 239 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 240 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 241 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 242 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 243 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 244 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 245 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 246 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 247 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 248 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 249 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 250 |  | Pulse | 1999 | Text | ehsl_pahsc |