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]
Abstract is missing.