Thomas Raths, Jens Otten. randoCoP: Randomizing the Proof Search Order in the Connection Calculus. In Boris Konev, Renate A. Schmidt, Stephan Schulz, editors, Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008. Volume 373 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
Abstract is missing.