ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E.

Karel Chvalovský Jan Jakubuv Martin Suda Josef Urban

Published in: CoRR (2019)

Keyphrases

neural network
efficient learning
database
real time
real world
information systems
search algorithm
artificial neural networks
object detection
expectation maximization
cost effective
computationally expensive