Towards Finding Longer Proofs.

Zsolt Zombori, Adrin Csiszrik, Henryk Michalewski, Cezary Kaliszyk, Josef Urban

Browse the full TABLEAUX paper archive.