Proceedings of the 4th Annual Symposium on Combinatorial Search, SoCS 2011 Conference uri icon