TY  - RPRT
TI  - An early sign of satisfiability
AU  - Eliezer L. Lozinskii
PY  - 2016
UR  - https://arxiv.org/abs/1612.05019
ID  - 1612.05019
ER  -