News for hackers. Stuff that matters.

A comment on Many Hard LeetCode Problems Are Easy Constraint Problems. Parent comment

Re:Many Hard LeetCode Problems Are Easy Constraint Problems by kragen on Friday September 12, 2025 @05:20PM (#45226900)
You can implement DPLL in 30 lines of code? Not for SMT, I assume.
[ Parent | on HN ]
Re:Many Hard LeetCode Problems Are Easy Constraint Problems by nextos on Friday September 12, 2025 @10:09PM (#45228747)
You'd need a fancy encoding for SAT to use a small DPLL implementation.

Otherwise, customize DPLL for this particular problem.

[ Parent | on HN ]