Login / Signup

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

Hubie ChenVíctor Dalmau
Published in: CSL (2005)
Keyphrases