Suite Egly-Seidl-Tompits-Woltran-Zolda
| Download(66110 Kb) | |||
| Submitter: | Egly | ||
| Description: | A generator of QBF encodings for the evaluation of nested counterfactuals. | ||
| Number of families: | 1 | ||
| Families: | |||
| Results: | |||
| Download(66110 Kb) | |||
| Submitter: | Egly | ||
| Description: | A generator of QBF encodings for the evaluation of nested counterfactuals. | ||
| Number of families: | 1 | ||
| Families: | |||
| Results: | |||