Conflict propagation and component recursion for canonical labeling (2011)
- BOOKTITLE:
- Proceedings of the 1st International ICST Conference on Theory and Practice of Algorithms in (Computer) Systems (TAPAS 2011, Rome, 18--20 April 2011)
- SERIES:
- Lecture Notes in Computer Science
|