A SAT Encoding for the n-Fractions Problem.

Published in: CoRR (2018)

Keyphrases

sat encodings
sat solvers
pseudo boolean constraints
sat solving
constraint satisfaction problems
combinatorial problems
graph coloring
solving problems
orders of magnitude
integer linear programming
special case
logic programming
planning problems