@article{enigmangefficientneuralandgradient,
  title = {ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E},
  author = {Karel Chvalovský and Jan Jakubův and Martin Suda and Josef Urban},
  year = {2019},
  eprint = {1903.03182},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1903.03182v1},
}