Hadi Katebi

According to our database, Hadi Katebi authored at least 9 papers between 2010 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2013

Symmetry in Finite Combinatorial Objects: Scalable Methods and Applications.

Hadi Katebi

PhD thesis, 2013

Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms.

Paolo Codenotti, Hadi Katebi, Karem A. Sakallah, Igor L. Markov

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Generalized Boolean symmetries through nested partition refinement.

Hadi Katebi, Karem A. Sakallah, Igor L. Markov

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

2012

Conflict Anticipation in the Search for Graph Automorphisms.

Hadi Katebi, Karem A. Sakallah, Igor L. Markov

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Graph Symmetry Detection and Canonical Labeling: Differences and Synergies.

Hadi Katebi, Karem A. Sakallah, Igor L. Markov

Proceedings of the Turing-100, 2012

2011

Empirical Study of the Anatomy of Modern Sat Solvers.

Hadi Katebi, Karem A. Sakallah, João P. Marques Silva

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

2010

Symmetry and Satisfiability: An Update.

Hadi Katebi, Karem A. Sakallah, Igor L. Markov

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

Large-scale Boolean matching.

Hadi Katebi, Igor L. Markov

Proceedings of the Design, Automation and Test in Europe, 2010

Incorporating user control in automated interactive scheduling systems.

Jina Huh, Martha E. Pollack, Hadi Katebi, Karem A. Sakallah, Ned Kirsch

Proceedings of the Conference on Designing Interactive Systems, 2010