Suite Cashmore-Fox-Giunchiglia
| Download(0 Kb) | |||
| Submitter: | Michael Cashmore | ||
| Description: | QBF encodings for the bounded propositional reachability problems. Details are available in Cashmore, M., Fox, M. and Giunchiglia, E., 2012, August. Planning as Quantified Boolean Formula. In ECAI (Vol. 242, pp. 217-222). | ||
| Number of families: | 1 | ||
| Families: | |||
| Results: | |||