Narayan Vikas Compaction, Retraction, and Constraint Satisfaction. 761-782 2004 33 SIAM J. Comput. 4 http://dx.doi.org/10.1137/S0097539701397801 db/journals/siamcomp/siamcomp33.html#Vikas04