TY  - RPRT
TI  - Artificial Neural Networks that Learn to Satisfy Logic Constraints
AU  - Gadi Pinkas
AU  - Shimon Cohen
PY  - 2017
UR  - https://arxiv.org/abs/1712.03049
ID  - 1712.03049
ER  -