Generalized Boolean symmetries through nested partition refinement
Karem A. Sakallah , Igor L. Markov , Hadi Katebi
international conference on computer aided design 763 -770
1
2013
Symmetry and satisfiability: an update
Hadi Katebi , Karem A. Sakallah , Igor L. Markov
theory and applications of satisfiability testing 113 -127
26
2010
Empirical study of the anatomy of modern sat solvers
Hadi Katebi , Karem A. Sakallah , João P. Marques-Silva
theory and applications of satisfiability testing 343 -356
60
2011
Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms
Paolo Codenotti , Hadi Katebi , Karem A. Sakallah , Igor L. Markov
international conference on tools with artificial intelligence 907 -914
12
2013
Graph symmetry detection and canonical labeling: Differences and synergies
Hadi Katebi , Karem A Sakallah , Igor L Markov
arXiv preprint arXiv:1208.6271
39
2012
Conflict anticipation in the search for graph automorphisms
Hadi Katebi , Karem A Sakallah , Igor L Markov
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings 18 243 -257
31
2012
Large-scale Boolean matching
Hadi Katebi , Igor Markov
design automation and test in europe 771 -776
2010
Markov. Large-scale Boolean matching
Hadi Katebi , L Igor
Advanced Techniques in Logic Synthesis, Optimizations and Applications 771 -776
2
Saucy
Paul T Darga , Hadi Katebi , Mark Liffiton , I Markov
URL http://vlsicad. eecs. umich. edu/BK/SAUCY
13
2008
1 Current and Past Research
Hadi Katebi