Facilitating timing debug by logic path correspondenceOshri AdlerEli Arbelet al.2014DATE 2014Conference paper
The enumeration of vertex induced subgraphs with respect to the number of componentsP. TittmannIlia Averbouchet al.2011European Journal of CombinatoricsPaper