@misc{indiciae3a0ee6bfc819,
  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},
  url = {https://arxiv.org/abs/1903.03182},
  note = {Source identifier: 1903.03182}
}