| Empirical study of the anatomy of modern SAT solvers H Katebi, KA Sakallah, JP Marques-Silva International conference on theory and applications of satisfiability …, 2011 | 99 | 2011 |
| Symmetry and satisfiability: An update H Katebi, KA Sakallah, IL Markov International Conference on Theory and Applications of Satisfiability …, 2010 | 69 | 2010 |
| Graph symmetry detection and canonical labeling: Differences and synergies H Katebi, KA Sakallah, IL Markov arXiv preprint arXiv:1208.6271, 2012 | 39 | 2012 |
| Conflict analysis and branching heuristics in the search for graph automorphisms P Codenotti, H Katebi, KA Sakallah, IL Markov 2013 IEEE 25th International Conference on Tools with Artificial …, 2013 | 33 | 2013 |
| Conflict anticipation in the search for graph automorphisms H Katebi, KA Sakallah, IL Markov Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012 | 31 | 2012 |
| Large-scale Boolean matching H Katebi, I Markov Advanced Techniques in Logic Synthesis, Optimizations and Applications, 227-247, 2010 | 30 | 2010 |
| Saucy PT Darga, H Katebi, M Liffiton, I Markov, K Sakallah URL http://vlsicad. eecs. umich. edu/BK/SAUCY, 2008 | 14 | 2008 |
| Incorporating user control in automated interactive scheduling systems J Huh, M Pollack, H Katebi, K Sakallah, N Kirsch Proceedings of the 8th ACM Conference on Designing Interactive Systems, 306-309, 2010 | 8 | 2010 |
| Generalized Boolean symmetries through nested partition refinement H Katebi, KA Sakallah, IL Markov 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 763-770, 2013 | 3 | 2013 |
| Markov. Large-scale Boolean matching H Katebi, L Igor Advanced Techniques in Logic Synthesis, Optimizations and Applications, 771-776, 0 | 2 | |
| Symmetry in Finite Combinatorial Objects: Scalable Methods and Applications. H Katebi | | 2013 |
| 1 Current and Past Research H Katebi | | |
Karem A SakallahUniversity of MichiganVerified email at umich.edu
