Rather than doing a traditional solution search, I tried to model it instead on how humans solve these puzzles, iteratively eliminating and confirming possible squares for Queens.

And since this was a side-project, I decided to go overboard, and try and make it as fast as possible (avoiding HashMap/HashSet in favor of bit fields, for example).