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

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

Browse the full ICTAI paper archive.