Hacker News new | ask | show | jobs
by nurettin 2365 days ago
Beautiful solution with the binomial encoding. Apparently, "at most k" is a well known problem http://www.sat4j.org/maven233/apidocs/org/sat4j/tools/encodi...