Experimental comparison of 2-satisfiability algorithms Rossella Petreschi; Bruno Simeone — 1991 RAIRO - Operations Research - Recherche Opérationnelle
Experimental comparison of graph drawing algorithms for cubic graphs. Calamoneri, Tiziana; Jannelli, Simone; Petreschi, Rossella — 1999 Journal of Graph Algorithms and Applications