1 research outputs found
A SAT Encoding for the -Fractions Problem
This note describes a SAT encoding for the -fractions puzzle which is
problem 041 of the CSPLib. Using a SAT solver we obtain a solution for two of
the six remaining open instances of this problem