Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on The N-Queens completion problem is NP-hard. Parent comment
Can you point me to a concrete reference about the 50x50 number?
Modern SAT solvers should be able to handle that, maybe with a few problem specific tweaks.
There are no comments on this comment yet.
Can you point me to a concrete reference about the 50x50 number?
Modern SAT solvers should be able to handle that, maybe with a few problem specific tweaks.