Parallel and efficient implementation of the compartmentalized connection graph proof procedure: Resolution to unification

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Fingerprint Dive into the research topics of 'Parallel and efficient implementation of the compartmentalized connection graph proof procedure: Resolution to unification'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science