发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools with Artificial Intelligence - Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms

[IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools with Artificial Intelligence - Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms

Codenotti, Paolo; Katebi, Hadi; Sakallah, Karem A.; Markov, Igor L.
  • 作者Codenotti, Paolo; Katebi, Hadi; Sakallah, Karem A.; Markov, Igor L.
  • 文件大小398.97KB
  • 发表时间2013
  • DOI10.1109/ictai.2013.139
  • 页码907-914
同期刊推荐
← 返回【学霸图书馆】主页
© 2026 学霸图书馆 · 让阅读成为习惯