Maintaining Virtual Arc Consistency Dynamically during Search | IEEE Conference Publication | IEEE Xplore