Differentiable max-SAT Solver for real world optimization problems

• Posted 5 hours ago by stuehieyr
• 3 points