← Back to context Comment by CamperBob2 3 hours ago Posting it here will almost certainly lead to a "May the best clanker win" contest, you realize! 1 comment CamperBob2 Reply bmenrigh 15 minutes ago If someone wants to beat me to either a solution, or proving no solutions exists, then by all means :-)I think it's an extraordinarily hard problem computationally, even with exceptional theoretical backing.Where people may be able to beat me is if no solution exists-- there may be some highly nontrivial, but findable unsatisfiability argument.
bmenrigh 15 minutes ago If someone wants to beat me to either a solution, or proving no solutions exists, then by all means :-)I think it's an extraordinarily hard problem computationally, even with exceptional theoretical backing.Where people may be able to beat me is if no solution exists-- there may be some highly nontrivial, but findable unsatisfiability argument.
If someone wants to beat me to either a solution, or proving no solutions exists, then by all means :-)
I think it's an extraordinarily hard problem computationally, even with exceptional theoretical backing.
Where people may be able to beat me is if no solution exists-- there may be some highly nontrivial, but findable unsatisfiability argument.