That is surprising. 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 proble

That is surprising. 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.