Why the frack is @nvidia posting the GTC 2018 keynote only on their ustream channel and not also on their youtube channel? The only thing I find on youtube is people live commenting on the GTC stream on their own youtube channel.
-
Would it make any sense create/port a SMT solver that could utilize GPU's?
Sure. Many have tried. There are a lot of unsolved research problems involved and it's uncertain if it's possible at all. Usually, for a problem to scale well on GPUs it should be in NC. SMT solvers attempt to solve problems in NP or higher (PSPACE, EXPTIME, NEXPTIME).