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

Authors: Karel Chvalovský, Jan Jakubuv, Martin Suda, Josef Urban - Lecture notes in computer science 2019 cited by 11