Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010 Conference uri icon