17 citations · 46 across the 16 of their papers we have counts for
3 papers · 1 filter
Equational Anti-Unification over Absorption Theories
Mauricio Ayala-Rincon, David M. Cerna, Andres Felipe Gonzalez Barragan +1
Interest in anti-unification, the dual problem of unification, is on the rise due to applications within the field of software analysis and related areas. For example, anti-unifica…
Enumerating All Maximal Clique-Partitions of an Undirected Graph
Mircea Marin, Temur Kutsia, Cleo Pau +1
We address the problem of enumerating all maximal clique-partitions of an undirected graph and present an algorithm based on the observation that every maximal clique-partition can…
Anti-unification and Generalization: A Survey
David M. Cerna, Temur Kutsia
Anti-unification (AU) is a fundamental operation for generalization computation used for inductive inference. It is the dual operation to unification, an operation at the foundatio…