Efficient Singleton Consistency by Combining Forward Checking and Bound Consistency | IEEE Conference Publication | IEEE Xplore