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

Karel Chvalovský Jan Jakubuv Martin Suda Josef Urban

Published in: CADE (2019)

Keyphrases

neural network
edge detection
computationally expensive
decision making
case study
bayesian networks
bayesian inference
inference mechanism