TY  - RPRT
TI  - Testing Formula Satisfaction
AU  - Eldar Fischer
AU  - Yonatan Goldhirsh
AU  - Oded Lachish
PY  - 2014
UR  - https://arxiv.org/abs/1204.3413
ID  - 1204.3413
ER  -