TY  - RPRT
TI  - Using SMT Solvers to Validate Models for AI Problems
AU  - Andrei Arusoaie
AU  - Ionut Pistol
PY  - 2019
UR  - https://arxiv.org/abs/1903.09475
ID  - 1903.09475
ER  -