Parallel Automated Theorem Proving* *This work was supported by the Deutsche Forschungsgemeinschaft within the Sonderforschungsbereich 342, Teilprojekt A5 (Parallelization of Inference Systems).
2013 ◽
Vol 14
(1)
◽
pp. 101-119
◽
2009 ◽
pp. 116-130
◽
Keyword(s):