Suite Castellini
| Download(7620 Kb) | |||
| Submitter: | Claudio Castellini | ||
| Description: | Various QBF-based encodings of the bomb-in-the-toilet planning problem. Details available in Castellini, C., Giunchiglia, E. and Tacchella, A., 2003. SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. Artificial Intelligence, 147(1-2), pp.85-117. | ||
| Number of families: | 3 | ||
| Families: | |||
| Results: | |||