Roberto Battiti Franco Mascia An Algorithm Portfolio for the Sub-graph Isomorphism Problem. 106-120 2007 conf/sls/2007 SLS http://dx.doi.org/10.1007/978-3-540-74446-7_8 db/conf/sls/sls2007.html#BattitiM07