Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems.

Simon Colton, Geoff Sutcliffe

Browse the full ISAIM paper archive.