Hadi Katebi

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Symmetry Detection

Directed Acyclic Graph

Label Propagation

Depth First Search

Top Venues

Publications

Paolo Codenotti, Hadi Katebi, Karem A. Sakallah, Igor L. Markov
Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms. ICTAI (2013)
Hadi Katebi, Karem A. Sakallah, Igor L. Markov
Generalized Boolean symmetries through nested partition refinement. ICCAD (2013)
Hadi Katebi, Karem A. Sakallah, Igor L. Markov
Conflict Anticipation in the Search for Graph Automorphisms. LPAR (2012)
Hadi Katebi, Karem A. Sakallah, Igor L. Markov
Graph Symmetry Detection and Canonical Labeling: Differences and Synergies. Turing-100 (2012)
Hadi Katebi, Karem A. Sakallah, Igor L. Markov
Graph Symmetry Detection and Canonical Labeling: Differences and Synergies CoRR (2012)
Hadi Katebi, Karem A. Sakallah, Igor L. Markov
Conflict Anticipation in the Search for Graph Automorphisms CoRR (2012)
Hadi Katebi, Karem A. Sakallah, João P. Marques Silva
Empirical Study of the Anatomy of Modern Sat Solvers. SAT (2011)
Hadi Katebi, Karem A. Sakallah, Igor L. Markov
Symmetry and Satisfiability: An Update. SAT (2010)
Jina Huh, Martha E. Pollack, Hadi Katebi, Karem A. Sakallah, Ned Kirsch
Incorporating user control in automated interactive scheduling systems. Conference on Designing Interactive Systems (2010)
Hadi Katebi, Igor L. Markov
Large-scale Boolean matching. DATE (2010)