Reference:
Tommi Junttila and Petteri Kaski. Conflict propagation and component recursion for canonical labeling. In Alberto Marchetti-Spaccamela and Michael Segal, editors, Proceedings of the 1st International ICST Conference on Theory and Practice of Algorithms in (Computer) Systems (TAPAS 2011, Rome, 18–20 April 2011), number 6595/2011 in Lecture Notes in Computer Science, pages 151–162, Berlin, 2011. Springer.
Suggested BibTeX entry:
@inproceedings{bibdb-export-pkaski-2011-1,
address = {Berlin},
author = {Tommi Junttila and Petteri Kaski},
booktitle = {Proceedings of the 1st International ICST Conference on Theory and Practice of Algorithms in (Computer) Systems (TAPAS 2011, Rome, 18--20 April 2011)},
editor = {Alberto Marchetti-Spaccamela and Michael Segal},
language = {eng},
number = {6595/2011},
pages = {151--162},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Conflict propagation and component recursion for canonical labeling},
year = {2011},
}
|