Concepedia

Hadi Katebi

HK

Statistics

Publications

4

Citations

70

H-Index

4

Active since

2010

Affiliations

University of Michigan(Current)

Hadi Katebi is an author at University of Michigan specializing in computer science, algorithms, and equivalence checking.

Publications per year

2010–2018

4

Publications

4

Large-scale Boolean matching

Hadi Katebi, Igor L. Markov · 2010 · 22 citations

, , +15

Large-scale Boolean matching

Hadi Katebi, Igor L. Markov · 2010 · 18 citations

, , +15

Graph Symmetry Detection and Canonical Labeling: Differences and Synergies

Hadi Katebi, Karem A. Sakallah, Igor L. Markov · EPiC series in computing · 2018 · 15 citations · Full text

, , +13

Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms

Paolo Codenotti, Hadi Katebi, Karem A. Sakallah et al. · 2013 · 15 citations

, , +12

1–4 of 4