Arc consistency with domain splitting for standard sudoku board format .sud (CPSC 322, Intro to AI)