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 maxmunzel on Sunday May 19, 2019 @10:44AM (#19953525)
As its applicable to all discrete Problems (think of Sudoku), its a really neat skill to have.

Reductions are pretty easy to write and modern SAT solvers are crazy fast.

[ Parent | on HN ]

There are no comments on this comment yet.