Combining Parallel and Distributed Search in Automated Equational Deduction.

Carsten Sinz, Jrg Denzinger, Jrgen Avenhaus, Wolfgang Kchlin

Browse the full PPAM paper archive.