Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms.

Paolo Codenotti Hadi Katebi Karem A. Sakallah Igor L. Markov

Published in: ICTAI (2013)

Keyphrases

search algorithm
data analysis
search strategies
search methods
graph theory
search procedures
admissible heuristics