Structural identification using a nonlinear constraint satisfaction processor with interval arithmetic and contractor programming. (August 2017)