Salvatore Certo, Anh Pham, et al.
Quantum Machine 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
Hironori Takeuchi, Tetsuya Nasukawa, et al.
Transactions of the Japanese Society for Artificial Intelligence
Rie Kubota Ando
CoNLL 2006
Ankit Vishnubhotla, Charlotte Loh, et al.
NeurIPS 2023