Ask HN: Monetizing Fast Sat Solver?

https://news.ycombinator.com/item?id=34880457

by AnimalMuppet • 3 years ago

3 4 3 years ago

news.ycombinator.com

If you had a screaming fast SAT solver, how would you monetize it? Sell it to the highest bidder? SAT-as-a-service? Something else?

compressedgas• 3 years ago

How fast? Can it do https://github.com/jheusser/satcoin now? If it can, don't tell me. Just go break Bitcoin.

PaulHoule• 3 years ago

Does it solve SAT in P?

AnimalMuppet• 3 years ago

Well, it's not quite a true SAT solver. It can solve SAT in P, for random, unstructured problems, but there is a certain probability that it can't solve a problem, even if the problem actually has a solution. The more clauses, the higher the probability that my solver can't solve it.

It can solve 100 clauses with 99% probability.

throwaway29303• 3 years ago

I'd milk it. Generate income from it (SAT-As-A-Service), advertise if necessary (logistics companies, universities, etc), generate more income and once the trend peaks I'd sell it to the highest bidder (make sure to mention the amount of happy users I have).

Ask HN: Monetizing Fast Sat Solver?

Related Stories