You can also use some second-order logic to see that there are certain squares in the first column that can't be filled in because the horizontal clues would causes a contradiction in the second column, and likewise for the bottom row. But temps are a lot easier to use.