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: | |||