Accelerated Equivalence Structure Extraction via Pairwise Incremental Search

Seiya Satoh, Yoshinobu Takahashi, Hiroshi Yamakawa. Accelerated Equivalence Structure Extraction via Pairwise Incremental Search. In Yike Guo, Faisal Farooq, editors, Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, KDD 2018, London, UK, August 19-23, 2018. pages 2160-2169, ACM, 2018. [doi]

Abstract

Abstract is missing.