Cédric Piette Let the Solver Deal with Redundancy. 67-73 2008 ICTAI (1) http://dx.doi.org/10.1109/ICTAI.2008.38 conf/ictai/2008-1 db/conf/ictai/ictai2008-1.html#Piette08