Verification and generation of unrefinable partitions
Aragona, Riccardo ; Campioni, Lorenzo ; Civino, Roberto ; Lauria, Massimo
Information processing letters, 2023-03, Vol.181, p.106361, Article 106361
[Periódico revisado por pares]
Elsevier B.V
Texto completo disponível