Generalizing Consistency and other Constraint Properties to Quantified Constraints

Lucas Bordeaux Marco Cadoli Toni Mancini Generalizing Consistency and other Constraint Properties to Quantified Constraints http://arxiv.org/abs/0705.3561 2007 CoRR abs/0705.3561 db/journals/corr/corr0705.html#abs-0705-3561 informal publication