Re:Modern SAT solvers: fast, neat and underused
by mlevental on Monday May 20, 2019 @12:00PM
(#19961778)
you don't need differentiability you just need a learning rule. there are learning algorithms that don't use gradient ascent.
[ Parent
| on HN ]
There are no comments on this comment yet.