RISC JKU
  • @inproceedings{RISC6882,
    author = {Mircea Marin and Temur Kutsia and Cleo Pau and Mikheil Rukhaia},
    title = {{Enumerating All Maximal Clique-Partitions of an Undirected Graph}},
    booktitle = {{Proceedings 7th Symposium on Working Formal Methods, FROM 2023}},
    language = {english},
    pages = {65--79},
    isbn_issn = { },
    year = {2023},
    editor = {Horatiu Cheval and Laurentiu Leustean and and Andrei Sipos},
    refereed = {yes},
    length = {15},
    url = {https://doi.org/10.4204/EPTCS.389.6}
    }