1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LG2021★ 1 cited
Complexity-based partitioning of CSFI problem instances with Transformers
Luca Benedetto, Paolo Fantozzi, Luigi Laura
In this paper, we propose a two-steps approach to partition instances of the Conjunctive Normal Form (CNF) Syntactic Formula Isomorphism problem (CSFI) into groups of different com…
cs.DS2016
An Experimental Study of Dynamic Dominators
Loukas Georgiadis, Giuseppe F. Italiano, Luigi Laura +1
Motivated by recent applications of dominator computations, we consider the problem of dynamically maintaining the dominators of flow graphs through a sequence of insertions and de…