Suite Castellini

Download(7620 Kb)
Submitter: Claudio Castellini
Description: Various QBF-based encodings of the bomb-in-the-toilet planning problem.
Number of families: 3
Families:
Results: