Compact Distributed Certification of Planar Graphs
Origine : Fichiers éditeurs autorisés sur une archive ouverte