TY  - RPRT
TI  - Skolem Functions for Factored Formulas
AU  - Ajith K. John
AU  - Shetal Shah
AU  - Supratik Chakraborty
AU  - Ashutosh Trivedi
AU  - S. Akshay
PY  - 2015
UR  - https://arxiv.org/abs/1508.05497
ID  - 1508.05497
ER  -