Global Constraint Checking at Run-Time | IEEE Conference Publication | IEEE Xplore