@inproceedings{Codenotti_2013,
    doi = {10.1109/ictai.2013.139},
    url = {https://doi.org/10.1109%2Fictai.2013.139},
    year = {2013},
    month = {nov},
    publisher = {{IEEE}},
    author = {Paolo Codenotti and Hadi Katebi and Karem A. Sakallah and Igor L. Markov},
    title = {Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms},
    booktitle = {2013 {IEEE} 25th International Conference on Tools with Artificial Intelligence}
}

@inproceedings{Codenotti_2013, doi = {10.1109/ictai.2013.139}, url = {https://doi.org/10.1109%2Fictai.2013.139}, year = {2013}, month = {nov}, publisher = {{IEEE}}, author = {Paolo Codenotti and Hadi Katebi and Karem A. Sakallah and Igor L. Markov}, title = {Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms}, booktitle = {2013 {IEEE} 25th International Conference on Tools with Artificial Intelligence} }