External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Alex Roederer

This author has not been identified. Look up 'Alex Roederer' in Google

Yury Puzis

This author has not been identified. It may be one of the following persons: Look up 'Yury Puzis' in Google

Geoff Sutcliffe

This author has not been identified. It may be one of the following persons: Look up 'Geoff Sutcliffe' in Google
runs on