Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine.

K. Aspetsberger, Stefan Bayerl

Browse the full KI paper archive.