25 ms·
> There's a $200,000 bounty paid out every ten minutes for solutions to a well-known SAT problem. I'm not sure I follow -- do you mean there is a challenge ope
by querez 5y ago
> There's a $200,000 bounty paid out every ten minutes for solutions to a well-known SAT problem.
I'm not sure I follow -- do you mean there is a challenge open somewhere which pays 200k$?
- rrobukef 5y agoBitcoin. Bitcoin relies on SAT being unsolvable.