A Constraint Optimization-Based Resolution of Verification Collisions in Self-Organizing Networks | IEEE Conference Publication | IEEE Xplore