2 ms·
Beautiful solution with the binomial encoding. Apparently, "at most k" is a well known problem http://www.sat4j.org/maven233/apidocs/org/sat4j/tools/encoding/Bi
by nurettin 7y 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/encoding/Binomial.html http://www.sat4j.org/maven233/apidocs/org/sat4j/tools/encodi...