Suite Gent-Rowley
| Download(394860 Kb) | |||
| Submitter: | Gent | ||
| Description: | Various encodings of the famous "Connect4'' game into QBF. Details are available in Gent, I.P. and Rowley, A.G., 2003. Encoding Connect-4 using quantified Boolean formulae. 2nd Intl. Work. Modelling and Reform. CSP, pp.78-93. | ||
| Number of families: | 8 | ||
| Families: | |||
| Results: | |||