TY  - RPRT
TI  - Structured Learning Modulo Theories
AU  - Stefano Teso
AU  - Roberto Sebastiani
AU  - Andrea Passerini
PY  - 2014
UR  - https://arxiv.org/abs/1405.1675
ID  - 1405.1675
ER  -