Login / Signup
Cleo Pau
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 2
Top Topics
Maximal Clique Enumeration
Function Symbols
Knuth Bendix
Proximity Measures
Top Venues
FROM
UNIF
</>
Publications
</>
Mircea Marin
,
Temur Kutsia
,
Cleo Pau
,
Mikheil Rukhaia
Enumerating All Maximal Clique-Partitions of an Undirected Graph.
FROM
(2023)
Temur Kutsia
,
Cleo Pau
Proximity-Based Unification with Arity Mismatch.
UNIF
(2020)