Divvy: An ATP Meta-system Based on Axiom Relevance Ordering

Alex Roederer, Yury Puzis, Geoff Sutcliffe. Divvy: An ATP Meta-system Based on Axiom Relevance Ordering. In Renate A. Schmidt, editor, Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings. Volume 5663 of Lecture Notes in Computer Science, pages 157-162, Springer, 2009. [doi]

Abstract

Abstract is missing.