News for hackers. Stuff that matters.

A comment on NeuroSAT: Learning a SAT Solver from Single-Bit Supervision. Parent comment

Re:NeuroSAT: Learning a SAT Solver from Single-Bit Supervision by keenerd on Tuesday February 13, 2018 @09:36AM (#16367374)
Thanks. That makes sense. Most of my stuff has (at most) a few million clauses and usually takes between 1-600 seconds.
[ Parent | on HN ]

There are no comments on this comment yet.