Encoding Connect-4 using Quantified Boolean Formulae

Research output: Contribution to conference › Paper

Handle.net

@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",

}