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

Bartosz Piotrowski, Josef Urban (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics