Deriving filtering algorithms from constraint checkers. (2004)

by N Beldiceanu, M Carlsson, T Petit
Venue:In CP’04,