Arc-consistency in dynamic CSPs is no more prohibitive | IEEE Conference Publication | IEEE Xplore