The Role of Entropy in Guiding a Connection Prover. - Zombori, Zsolt; Urban, Josef; Olsák, Miroslav (CoRR, 2021)