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

著者: Karel Chvalovský, Jan Jakubuv, Martin Suda, Josef Urban - Lecture notes in computer science 2019 被引用: 11