"ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback."

Bartosz Piotrowski, Josef Urban (2018)
maintained by Schloss Dagstuhl LZI, founded at University of Trier