Login / Signup
randoCoP: Randomizing the Proof Search Order in the Connection Calculus.
Thomas Raths
Jens Otten
Published in:
PAAR/ESHOL (2008)
Keyphrases
</>
proof search
orders of magnitude
desirable properties