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: