‹ BackHN Continuity

Thread

Solving a corn puzzle with CP-SAT

37 points · 20 comments · luu

  1. qbane · · focus · HN ↗
    How about Algorithm X [0]? Fundamentally it is still a backtracking algorithm but it allows efficiently updating the solver state.

    [0]: <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Knuth%27s_Algorithm_X" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Knuth%27s_Algorithm_X

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.