From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction

TitleFrom Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction
Publication TypeConference Paper
Year of Publication2005
AuthorsChen, H, Dalmau, V
Conference NameCSL