High Performance ATP Systems by Combining Several AI Methods.

Jrg Denzinger, Marc Fuchs, Matthias Fuchs

Browse the full IJCAI paper archive.