Conflict Propagation and Component Recursion for Canonical Labeling (2011)
- BOOKTITLE:
- Theory and Practice of Algorithms in (Computer) Systems, First International ICST Conference, TAPAS 2011, Rome, Italy, April 18--20, 2011
- SERIES:
- Lecture Notes in Computer Science
|