Proceedings of the 6th Annual Symposium on Combinatorial Search, SoCS 2013 Conference uri icon