Infer further constraints to speed up killer sudoku solving