External Links

Cite Key

Statistics

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

PDF

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.

Evaluation of Axiom Selection Techniques

Qinghua Liu, Zishi Wu, Zihao Wang, Geoff Sutcliffe. Evaluation of Axiom Selection Techniques. In Pascal Fontaine, Konstantin Korovin, Ilias S. Kotsireas, Philipp Rümmer, Sophie Tourret, editors, Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France, June-July, 2020 (Virtual). Volume 2752 of CEUR Workshop Proceedings, pages 63-75, CEUR-WS.org, 2020. [doi]

Authors

Qinghua Liu

This author has not been identified. Look up 'Qinghua Liu' in Google

Zishi Wu

This author has not been identified. Look up 'Zishi Wu' in Google

Zihao Wang

This author has not been identified. Look up 'Zihao Wang' 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