Beyond NP: arc-consistency for quantified constraints (0)

by L Bordeaux, E Monfroy
Venue:In: Proceedings of CP-2002. 2002