Differentiable max-SAT Solver for real world optimization problems

(navokoj.shunyabar.foo) by stuehieyr | Nov 24, 2025 | 6 comments on HN