Hadi Katebi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2010–2013
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICCAD | Generalized Boolean symmetries through nested partition refinement. | Hadi Katebi, Karem A. Sakallah, Igor L. Markov |
| 2013 | ICTAI | Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms. | Paolo Codenotti, Hadi Katebi, Karem A. Sakallah, Igor L. Markov |
| 2012 | LPAR | Conflict Anticipation in the Search for Graph Automorphisms. | Hadi Katebi, Karem A. Sakallah, Igor L. Markov |
| 2011 | SAT | Empirical Study of the Anatomy of Modern Sat Solvers. | Hadi Katebi, Karem A. Sakallah, Joo P. Marques Silva |
| 2010 | DATE | Large-scale Boolean matching. | Hadi Katebi, Igor L. Markov |
| 2010 | SAT | Symmetry and Satisfiability: An Update. | Hadi Katebi, Karem A. Sakallah, Igor L. Markov |