TY  - RPRT
TI  - A SAT Encoding for the $n$-Fractions Problem
AU  - Michael Codish
PY  - 2018
UR  - https://arxiv.org/abs/1807.00507
ID  - 1807.00507
ER  -