Suite Ansotegui
| Download(122980 Kb) | |||
| Submitter: | Ansotegui | ||
| Description: | QBF encodings of evader-pursuer problems on fixed size checkerboards. | ||
| Number of families: | 5 | ||
| Families: | |||
| Results: | |||
| Download(122980 Kb) | |||
| Submitter: | Ansotegui | ||
| Description: | QBF encodings of evader-pursuer problems on fixed size checkerboards. | ||
| Number of families: | 5 | ||
| Families: | |||
| Results: | |||