Incorporating user control in automated interactive scheduling systems. - Jina Huh; Martha E. Pollack; Hadi Katebi; Karem A. Sakallah; Ned Kirsch (Conference on Designing Interactive Systems, 2010)

Large-scale Boolean matching. - Hadi Katebi; Igor L. Markov (DATE, 2010)

Symmetry and Satisfiability: An Update. - Hadi Katebi; Karem A. Sakallah; Igor L. Markov (SAT, 2010)

Empirical Study of the Anatomy of Modern Sat Solvers. - Hadi Katebi; Karem A. Sakallah; João P. Marques Silva (SAT, 2011)

Graph Symmetry Detection and Canonical Labeling: Differences and Synergies. - Hadi Katebi; Karem A. Sakallah; Igor L. Markov (Turing-100, 2012)

Conflict Anticipation in the Search for Graph Automorphisms. - Hadi Katebi; Karem A. Sakallah; Igor L. Markov (LPAR, 2012)

Generalized Boolean symmetries through nested partition refinement. - Hadi Katebi; Karem A. Sakallah; Igor L. Markov (ICCAD, 2013)

Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms. - Paolo Codenotti; Hadi Katebi; Karem A. Sakallah; Igor L. Markov (ICTAI, 2013)

Symmetry in Finite Combinatorial Objects: Scalable Methods and Applications. - Hadi Katebi (2013)