Benefits of applicability constraints in decomposition-free interference detection between nonconvex polyhedral models | IEEE Conference Publication | IEEE Xplore