Encoding Connect-4 using Quantified Boolean Formulae

Ian Philip Gent, AGD Rowley, AM Frisch

Research output: Contribution to conference › Paper

Cite this

@conference{1351a473378a4c96b400287db10db690,

title = "Encoding Connect-4 using Quantified Boolean Formulae",

author = "Gent, {Ian Philip} and AGD Rowley and AM Frisch",

note = "Proc.2nd International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, Kinsale, Ireland",

year = "2004",

language = "English",

pages = "78--93",

}