On Selecting Constraints for Replication in Model Checking | IEEE Conference Publication | IEEE Xplore