Improving the Efficiency of Forward Checking Algorithm for Solving Constraint Satisfaction Problems | IEEE Conference Publication | IEEE Xplore