A Marriage Theorem Based-Algorithm for Solving Sudoku | IEEE Conference Publication | IEEE Xplore