Complexity of n-Queens Completion and $1m prize
jair.org