Rama Akkiraju, Pinar Keskinocak, et al.
Applied Intelligence
Paper
A note on the parallel complexity of anti-unification
Abstract
The anti-unifier is the dual notion to the unifier, i.e., it is the most specific term that has the input terms as instances. We show that the problem of anti-unification is in NC, in contrast to unification that is known to be P-complete. © 1992 Kluwer Academic Publishers.
Related
Amarachi Blessing Mbakwe, Joy Wu, et al.
NeurIPS 2023
Yehuda Naveli, Michal Rimon, et al.
AAAI/IAAI 2006
Hironori Takeuchi, Tetsuya Nasukawa, et al.
Transactions of the Japanese Society for Artificial Intelligence