The complexity of constraint satisfaction games and QCSP

We study the complexity of two-person constraint satisfaction games. An instance of such a game is given by a collection of constraints on overlapping sets of variables, and the two players alternately make moves assigning values from a finite domain to the variables, in a specified order. The first...

Full description

Bibliographic Details
Main Authors: Boerner, F, Bulatov, A, Chen, H, Jeavons, P, Krokhin, A
Format: Journal article
Language:English
Published: Elsevier 2009