TY  - RPRT
TI  - ENIGMA: Efficient Learning-based Inference Guiding Machine
AU  - Jan Jakubův
AU  - Josef Urban
PY  - 2017
UR  - https://arxiv.org/abs/1701.06532
ID  - 1701.06532
ER  -