3 ms·
If you can solve it at all for even 50x50 would mean a revolution in certain algorithmic fields.
by imaginenore 9y ago
If you can solve it at all for even 50x50 would mean a revolution in certain algorithmic fields.
- thomasahle 9y agoThat's a bit too simply put, unfortunately. You could do that with an `e^{n/50}` solution. That wouldn't really be unexpected.
- fooker 9y agoThat 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.