News for hackers. Stuff that matters.

A comment on Modern SAT solvers: fast, neat and underused. Parent comment

Re:Modern SAT solvers: fast, neat and underused by 2400 on Sunday September 29, 2019 @01:57AM (#21105381)
do you have any pointers on modeling with soft/hard constraints and SAT solvers?
[ Parent | on HN ]

There are no comments on this comment yet.