Hadi Katebi
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Graph symmetry detection and canonical labeling: differences and synergies | 2026-01-14 | Paper |
| Graph Symmetry Detection and Canonical Labeling: Differences and Synergies | 2012-08-30 | Paper |
| Conflict Anticipation in the Search for Graph Automorphisms Logic for Programming, Artificial Intelligence, and Reasoning | 2012-06-15 | Paper |
| Empirical study of the anatomy of modern SAT solvers Theory and Applications of Satisfiability Testing - SAT 2011 | 2011-06-17 | Paper |
| Symmetry and Satisfiability: An Update Theory and Applications of Satisfiability Testing – SAT 2010 | 2010-09-29 | Paper |
Research outcomes over time
This page was built for person: Hadi Katebi
