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

Hubie Chen, Vctor Dalmau

Browse the full CSL paper archive.