TY  - RPRT
TI  - The Role of Entropy in Guiding a Connection Prover
AU  - Zsolt Zombori
AU  - Josef Urban
AU  - Miroslav Olšák
PY  - 2021
UR  - https://arxiv.org/abs/2105.14706
ID  - 2105.14706
ER  -