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).
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.