@inproceedings{f21f3943bbe64f90963a162385144fca,
title = "Enumerating All Maximal Clique-Partitions of an Undirected Graph",
author = "Mircea Marin and Teimuraz Kutsia and Pau, \{Ioana Cleopatra\} and Mikheil Rukhaia",
year = "2023",
month = sep,
day = "22",
doi = "10.4204/EPTCS.389.6",
language = "English",
volume = "389",
series = "Electronic Proceedings in Theoretical Computer Science, EPTCS",
pages = "65--79",
editor = "\{Horatiu Cheval, Laurentiu Leustean, and Andrei Sipos\}",
booktitle = "Proceedings 7th Symposium on Working Formal Methods, FROM 2023",
}