MaLeCoP: Machine Learning Connection Prover

Urban, J., Vyskočil, J., Štěpánek, P.

URBAN, J., J. VYSKOČIL, and P. ŠTĚPÁNEK. MaLeCoP: Machine Learning Connection Prover. In: Automated Reasoning with Analytic Tableaux and Related Methods. The 20 th International Conference, TABLEAUX 2011, Bern, 2011-07-04/2011-07-08. Heidelberg: Springer, 2011. p. 263-277. ISSN 0302-9743. ISBN 978-3-642-22118-7.