Transcript Soft constraint processing Thomas Schiex Javier Larrosa Pedro Meseguer