Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on The Silent (R)evolution of SAT. Parent comment
The state of the art with this is about 2x the speedup with an unbounded number of threads.
That's not bad, but is not very useful because in most use cases of SAT you have multiple distinct problems solvable in parallel anyway.
There are no comments on this comment yet.
The state of the art with this is about 2x the speedup with an unbounded number of threads.
That's not bad, but is not very useful because in most use cases of SAT you have multiple distinct problems solvable in parallel anyway.