The Witness Set Constraint. (5th March 2017) - Fortuny, Jordi