Efficient Semantic Features for Automated Reasoning over Large Theories
Kaliszyk, C., Urban, J., Vyskočil, J.
KALISZYK, C., J. URBAN, and J. VYSKOČIL. Efficient Semantic Features for Automated Reasoning over Large Theories. In: YANG, Q. and M. WOOLDRIDGE, eds. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. 24th International Joint Conference on Artificial Intelligence, Buenos Aires, 2015-07-25/2015-07-31. Menlo Park, California: AAAI Press, 2015. p. 3084-3090. ISSN 1045-0823. ISBN 978-1-57735-738-4. Available from: http://ijcai.org/papers15/Papers/IJCAI15-435.pdf