The Role of Entropy in Guiding a Connection Prover.

Zsolt Zombori, Josef Urban, Miroslav Olsk

Browse the full TABLEAUX paper archive.