Monetizing Fast Sat Solver?
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?
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).