Using On-The-Fly Model Checking to improve Constraint Programming for Dynamic Problems | IEEE Conference Publication | IEEE Xplore